Aziem Chawdhary's repositories
differential-datalog
An incremental programming language
eclipse.jdt.ls
Java language server
egglog
egraphs + datalog!
elm-graphql
Autogenerate type-safe GraphQL queries in Elm.
elodin
Physics simulation software for space + aerospace
elpa-mirror
Mirror for some Emacs package archives
git
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
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
risinglight
An OLAP database system for educational purpose
stack-graphs
Rust implementation of stack graphs
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