- San Francisco, CA
- https://segfaults.co
Highlights
Compiler
Fast, portable, non-Turing complete expression evaluation (C++)
Turn complex GraphQL queries into optimized database queries.
C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, …
Virtual-machine Translation Intermediate Language
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
The fastest pure-Python PEG parser I can muster
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Cython plugin for Lark, reimplementing the LALR parser & lexer for better performance
A lightweight LLVM python binding for writing JIT compilers
NumPy aware dynamic Python compiler using LLVM
Mini compiler for array expressions. Provide mappings between the original AST and minivect, specialize according to data layout and compile using whatever code generator backend is provided.
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
Protocol Buffers - Google's data interchange format
A lightweight python code protector, makes your python project harder to reverse engineer
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
VSCode extension for the LLVM IR language
A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.
Write expressive, high-performance parsers with ease.
Embedded Scripting Language Designed for C++
A small, fast, and embeddable programming language based on Lua with a gradual type system.






