fan-tom

Pinned Repositories

actix
Actor framework for Rust
Language:Rust0 2 00
amqp-ts
AmqpSimple, a RabbitMQ tested Amqp library written in and for Typescript
Language:TypeScript0 1 00
apalache
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala0 0 00
book
The Rust Programming Language
Language:Rust0 1 00
cacheserver
Simple cacheserver with REST api that can use RAM/redis/memcached as internal storage
Language:Go1 3 00
intellij-codeowners
Support of CODEOWNERS file in Intellij-based IDEs
Language:Kotlin23 2 7111
intellij-rust
Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
Language:Kotlin0 1 00
liquid-rust
Liquid Types implementation for Rust
Language:Rust29 2 20
migraph
Django project migrations graph visualizer
Language:Python0 0 00
stream-unconsume
Let you streams to be partially consumed without losing emitted values
Language:Rust0 2 01

fan-tom's Repositories

fan-tom/liquid-rust
Liquid Types implementation for Rust
Language:Rust29 2 20
fan-tom/intellij-codeowners
Support of CODEOWNERS file in Intellij-based IDEs
Language:Kotlin23 2 7111
fan-tom/apalache
APALACHE: symbolic model checker for TLA+ and Quint
Language:Scala0 0 00
fan-tom/book
The Rust Programming Language
Language:Rust0 1 00
fan-tom/codeowners_test
Just repo to test how CODEOWNERS file is interpreted by GitHub
Language:JavaScript0 1 01
fan-tom/intellij-rust
Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
Language:Kotlin0 1 00
fan-tom/stream-unconsume
Let you streams to be partially consumed without losing emitted values
Language:Rust0 2 01
fan-tom/DefinitelyTyped
The repository for high quality TypeScript type definitions.
Language:TypeScript1 0
fan-tom/diesel
A safe, extensible ORM and Query Builder for Rust
Language:Rust1 0
fan-tom/fsautils
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
Language:Scala0 0
fan-tom/Grammar-Kit
Grammar files support & parser/PSI generation for IntelliJ IDEA
fan-tom/hoogle
Haskell API search engine
Language:Haskell1 0
fan-tom/ideavim
Vim emulation plug-in for IDEs based on the IntelliJ platform.
Language:Kotlin2 0
fan-tom/ideavim-quickscope
Quickscope port for IdeaVIM
Language:Kotlin0 0
fan-tom/intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
0 0
fan-tom/intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
Language:Java0 0
fan-tom/intellij-prolog
Prolog plugin for Intellij IDEA
Language:Scala0 0
fan-tom/intellij-protobuf-plugin
IntelliJ-based IDEs Protobuf Language Plugin that provides Protobuf language support.
Language:Kotlin0 0
fan-tom/libsmt.rs
Rust Bindings to interact with SMTLIB2 compliant solvers
Language:Rust1 0
fan-tom/miro
Miro test task
Language:Java2 0
fan-tom/neovim-java
Neovim Java client library. Provides multiple interfaces for communicating with Neovim instance via multiple different protocols. - Moved to https://codeberg.org/neovim-java/neovim-java
Language:Java0 0
fan-tom/notekeeper
Carrot-quest test task
Language:Python2 01
fan-tom/nsq-rs
Unofficial asynchronous client for NSQ
Language:Rust2 0
fan-tom/scala3
The Scala 3 compiler, also known as Dotty.
fan-tom/sentry-integration
An Intellij's IDEs plugin which display issues and help you jump to Exception's stacktrace right in your IDE
Language:Kotlin1 0
fan-tom/smithy-intellij-plugin
IntelliJ plugin for the Smithy interface definition language.
fan-tom/snafu
Easily assign underlying errors into domain-specific errors while adding context
Language:Rust1 0
fan-tom/sticker-finder
:zap: A telegram bot for searching all the stickers (just like @gif).
Language:Python1 0
fan-tom/typeorm
ORM for TypeScript and JavaScript (ES7, ES6, ES5). Supports MySQL, PostgreSQL, MariaDB, SQLite, MS SQL Server, Oracle, SAP Hana, WebSQL databases. Works in NodeJS, Browser, Ionic, Cordova and Electron platforms.
Language:TypeScript1 0
fan-tom/winamp
Iconic media player