antlr / codebuff
Language-agnostic pretty-printing through machine learning (uh, like, is this possible? YES, apparently).
☆450Updated 4 years ago
Alternatives and similar repositories for codebuff:
Users that are interested in codebuff are comparing it to the libraries listed below
- Obsolete repository. Moved to oracle/graal.☆625Updated 6 years ago
- The collection synthesizer☆211Updated 4 years ago
- Generate railroad diagrams from code or BNF, generate BNF from code☆148Updated last year
- Language-Natural Persistence Layer for Java☆411Updated 2 months ago
- Multi-Language Platform for Dynamic Programming Languages☆636Updated 2 years ago
- srclib is a polyglot code analysis library, built for hackability. It consists of language analysis toolchains (currently for Go and Java…☆941Updated 8 years ago
- A parser generator for visibly pushdown languages.☆791Updated last week
- Parser combinators for binary formats, in C. Yes, in C. What? Don't look at me like that.☆434Updated 2 years ago
- Classp -- a classier way to parse☆170Updated 7 years ago
- Conception was an experimental project, looking for ways to make software development more efficient.☆531Updated 7 years ago
- A self-hosted server for source code parsing☆362Updated last year
- The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based…☆419Updated this week
- transpile algorithms/libs to idiomatic JS, Go, C#, Ruby☆685Updated 4 years ago
- lamdu - towards the next generation IDE☆1,864Updated this week
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆326Updated 8 years ago
- Prototype smart text editor☆1,060Updated this week
- Visual programming meets Haskell☆683Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆237Updated 4 years ago
- The Hindley Milner Type Inference Algorithm☆367Updated 8 years ago
- Implementations of various type systems in OCaml.☆1,573Updated 9 years ago
- QuineDB is a quine that is also a key-value store.☆580Updated 7 years ago
- Low Level Java Virtual Machine☆481Updated 6 years ago
- Ultra Tiny Compiler☆181Updated 5 years ago
- Moved to https://codeberg.org/khinsen/leibniz☆281Updated last month
- Nailgun is a client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead.☆732Updated last year
- A collection of compiler, emulator and microkernel tools.☆251Updated 5 years ago
- Temporal graph store abstraction layer.☆983Updated last year
- Haskell Research Compiler☆819Updated 2 years ago
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆1,985Updated this week
- 7GUIs is a GUI programming usability benchmark.☆915Updated last year