Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Parse, Resolve, and Dereference JSON Schema $ref pointers in Node and browsers
- javascript
- nodejs
- json-schema
- json-reference
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
An Impressive Auto Layout DSL for iOS, tvOS & OSX. & It is written in pure swift.
- autolayout
- constraints
- kvconstraintkit
- auto
An SMT solver frontend for OCaml
- ocaml
- smt-lib
- symbolic-execution
- z3
A graphql parser and resolver for Elixir
Parser & Resolver & Abstract Completion library for D
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
- coq
- sudoku
- nix-action