fan-tom Goto Github PK

actix

Actor framework for Rust

amqp-ts

AmqpSimple, a RabbitMQ tested Amqp library written in and for Typescript

apalache

APALACHE: symbolic model checker for TLA+ and Quint

book

The Rust Programming Language

cacheserver

Simple cacheserver with REST api that can use RAM/redis/memcached as internal storage

codeowners_test

Just repo to test how CODEOWNERS file is interpreted by GitHub

definitelytyped

The repository for high quality TypeScript type definitions.

diesel

A safe, extensible ORM and Query Builder for Rust

email-addresses

An RFC 5322 email address parser

encryption_provider

finarc

Arc with finalizer called once last clone is dropped

fsautils

Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects

fun

some useless fun projects written in Prolog/Haskell

hoogle

Haskell API search engine

ideavim

Vim emulation plug-in for IDEs based on the IntelliJ platform.

ideavim-quickscope

Quickscope port for IdeaVIM

intellij-codeowners

Support of CODEOWNERS file in Intellij-based IDEs

intellij-community

IntelliJ IDEA Community Edition & IntelliJ Platform

intellij-plugins

Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform

intellij-prolog

Prolog plugin for Intellij IDEA

intellij-protobuf-plugin

IntelliJ-based IDEs Protobuf Language Plugin that provides Protobuf language support.

intellij-rust

Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/

lapin

AMQP client library in Rust, with a clean, futures based API

libsmt.rs

Rust Bindings to interact with SMTLIB2 compliant solvers

liquid-rust

Liquid Types implementation for Rust

m3u8-file-parser

A M3U/M3U8 file parser build agasint RFC8216

mapinto

Add `map_into()` and `map_err_into()` methods to `Result` and `Future` Rust types, that replace `map(Into::into)` and `map_err(Into::into)` respectively

migraph

Django project migrations graph visualizer

miro

Miro test task

modular

Module for modular arithmetics written in D language