Pinned Repositories
.emacs.d
Emacs23 settings
crown-pointerkind-extractor
dotfiles
This is where I put Linux (mostly) configuration files.
emacs-snapshot
Tree for GNU Emacs Debian snapshots
flycheck
On the fly syntax checking for GNU Emacs
graal_metaprogramming
ipython-thapl
IPython magics for generating figures with TikZ
MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
souffle-ts-mode
Emacs major mode for Soufflé using tree-sitter
thapl
Repository for the Thapl programming language
chaosite's Repositories
chaosite/MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
chaosite/graal_metaprogramming
chaosite/souffle-ts-mode
Emacs major mode for Soufflé using tree-sitter
chaosite/thapl
Repository for the Thapl programming language
chaosite/.emacs.d
Emacs23 settings
chaosite/crown-pointerkind-extractor
chaosite/dotfiles
This is where I put Linux (mostly) configuration files.
chaosite/emacs-snapshot
Tree for GNU Emacs Debian snapshots
chaosite/flycheck
On the fly syntax checking for GNU Emacs
chaosite/ipython-thapl
IPython magics for generating figures with TikZ
chaosite/metafrontend
chaosite/moneyman
Automatically save transactions from all major Israeli banks and credit card companies, using GitHub actions (or a self hosted docker image)
chaosite/PipeCNN
An OpenCL-based FPGA Accelerator for Convolutional Neural Networks
chaosite/qmk_firmware
keyboard controller firmware for Atmel AVR USB family
chaosite/reactivize-core
chaosite/reactivize-gradle-plugin
Gradle plugin for Reactivize
chaosite/reactivize-sample
Sample programs for the reactivize project
chaosite/sd-primitive-storage-layer
For 236700 Software Design
chaosite/sd_s19_storage_impl
Implmentation for the storage layer in Software Design
chaosite/tree-sitter-module
Building script for tree-sitter language definitions
chaosite/tree-sitter-souffle
Tree Sitter Grammar for the Soufflé language
chaosite/ttime
Technion Timetable Utility
chaosite/ttime3
Yet another reimplementation of ttime, will it ever end?
chaosite/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
chaosite/z3
The Z3 Theorem Prover