Lists (1)
Sort Name ascending (A-Z)
Stars
C89 expressions parsed with the shunting yard algorithm in Python
Extra minimal TypeScript implementation of Hindley-Milner type inference
Distributed, offline-first bug tracker embedded in git, with bridges
C/C++/ObjC language server supporting cross references, hierarchies, completion and semantic highlighting
A flexible package manager that supports multiple versions, configurations, platforms, and compilers.
automatic differentiation made easier for C++
Dafny is a verification-aware programming language
A series of down-to-earth articles on implementing type inference
An example of how to construct a parser combinator library in C++. Focus on simplicity, not efficiency.
Chrome extension to return youtube dislikes
STL compatible C++ memory allocator library using a new RawAllocator concept that is similar to an Allocator but easier to use and write.