A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–22 of 22 · Most stars
Annotations Docblock Parser
- hacktoberfest
Parser Building Toolkit for JavaScript
- javascript
- typescript
- parser-library
- parsing
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
- java
- mixins
- gradle
- mixin-framework
Comically fast Dota 2, CSGO, CS2 and Deadlock replay parser written in Java.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
- algebraic-data-types
- optics
- functional-programming
- algebra
Turn Buffer instances into "pointers"
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
Elegance, high performance and robustness all in one java bean mapper
- annotations
- xml
- java
- jmapper
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
- coq
- hydra-battles
- ordinal-notations
- formal-proofs
A total recursion scheme library for Dhall
- dhall
- recursion-schemes
:shrimp: Rust cryptography library
- rust
- cryptography
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
Compile Sass/SCSS to CSS in Crystal (libsass binding)
a parser for Forsyth-Edwards Notation (for encoding chess positions)
Practice recognizing chords in this Rust/Yew/Webassembly app
- yew
- music-theory
- music-notation
- wasm
Infix notation to S-expression (Polish notation) translator for Common Lisp
- common-lisp
- infix-notation
Do notation pipes for Promise-based or pure functions which easy to mock
- do-notation
- functional-programming
- mock
- pipe