Aziem Chawdhary's repositories
actual
A local-first personal finance system
calcite
Apache Calcite
differential-datalog
An incremental programming language
egglog
egraphs + datalog!
elm-graphql
Autogenerate type-safe GraphQL queries in Elm.
elpa-mirror
Mirror for some Emacs package archives
java-language-server
Java language server using the Java compiler API
java-smt
JavaSMT - Unified Java API for SMT solvers.
legend
The Legend project
legend-depot
Legend Depot component
legend-engine
Legend Engine module
legend-pure
Legend Pure module
legend-sdlc
Legend SDLC module
legend-studio
Legend Studio module
lsp4j
A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
mathgenerator
A math problem generator, created for the purpose of giving self-studying students and teaching organizations the means to easily get access to high-quality, generated math problems to suit their needs.
mirror
Mirror: Plug-and-Play Data Query, Summarization and Visualization with Natural Language Interface
nixpkgs
Nix Packages collection
pylegend
pylegend
rewrite
Semantic code search and transformation
ribbit
A small and portable Scheme implementation with AOT and incremental compilers that fits in 4K. It supports closures, tail calls, first-class continuations and a REPL.
risinglight
An OLAP database system for educational purpose
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
substrait
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
wasmtime
A fast and secure runtime for WebAssembly
wizard-engine
Research WebAssembly Engine