A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
Annotations Docblock Parser
- hacktoberfest
Mixin is a trait/mixin and bytecode weaving framework for Java using ASM
- java
- mixins
- gradle
- mixin-framework
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
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
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
Reflectionless command line parser
- command-line-parser
- java
- annotation-processing
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
Lightweight Java library for reading and writing fixed-width / fixed-length flat files using annotations on POJOs — for banking, payroll, EDI, mainframe, and batch integrations.
- annotations
- banking
- batch-processing
- edi
Next Generation of Apex Development
- salesforce-apex
- code-generation
- annotation
- transpiler
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
Do notation pipes for Promise-based or pure functions which easy to mock
- do-notation
- functional-programming
- mock
- pipe
Lightweight PHP library for encoding/decoding TOON (Token-Oriented Object Notation). A human-readable, LLM-friendly alternative to JSON.
- decoder
- encoder
- json
- llm