Pinned Repositories
actual
A local-first personal finance system
calcite
Apache Calcite
ddisasm
A fast and accurate disassembler
differential-dataflow
An implementation of differential dataflow using timely dataflow on Rust.
differential-datalog
An incremental programming language
duckdb-java-test
eclipse.jdt.ls
Java language server
egg
egg is a flexible, high-performance e-graph library
egglog
egraphs + datalog!
ego
EGraphs in OCaml
aziemchawdhary-gs's Repositories
aziemchawdhary-gs/differential-datalog
An incremental programming language
aziemchawdhary-gs/eclipse.jdt.ls
Java language server
aziemchawdhary-gs/egglog
egraphs + datalog!
aziemchawdhary-gs/elm-graphql
Autogenerate type-safe GraphQL queries in Elm.
aziemchawdhary-gs/elodin
Physics simulation software for space + aerospace
aziemchawdhary-gs/elpa-mirror
Mirror for some Emacs package archives
aziemchawdhary-gs/emacsstuff
aziemchawdhary-gs/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.
aziemchawdhary-gs/java-language-server
Java language server using the Java compiler API
aziemchawdhary-gs/java-smt
JavaSMT - Unified Java API for SMT solvers.
aziemchawdhary-gs/legend
The Legend project
aziemchawdhary-gs/legend-depot
Legend Depot component
aziemchawdhary-gs/legend-engine
Legend Engine module
aziemchawdhary-gs/legend-pure
Legend Pure module
aziemchawdhary-gs/legend-scripts
aziemchawdhary-gs/legend-sdlc
Legend SDLC module
aziemchawdhary-gs/legend-studio
Legend Studio module
aziemchawdhary-gs/lsp4j
A Java implementation of the language server protocol intended to be consumed by tools and language servers implemented in Java.
aziemchawdhary-gs/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.
aziemchawdhary-gs/mirror
Mirror: Plug-and-Play Data Query, Summarization and Visualization with Natural Language Interface
aziemchawdhary-gs/pylegend
pylegend
aziemchawdhary-gs/revng-c
aziemchawdhary-gs/risinglight
An OLAP database system for educational purpose
aziemchawdhary-gs/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.
aziemchawdhary-gs/souffle-nix-dev-env
aziemchawdhary-gs/stack-graphs
Rust implementation of stack graphs
aziemchawdhary-gs/substrait
A cross platform way to express data transformation, relational algebra, standardized record expression and plans.
aziemchawdhary-gs/substrait-java
aziemchawdhary-gs/wasmtime
A fast and secure runtime for WebAssembly
aziemchawdhary-gs/wizard-engine
Research WebAssembly Engine