jwkai's Stars
satwikkansal/wtfpython
What the f*ck Python? 😱
rougier/nano-emacs
GNU Emacs / N Λ N O - Emacs made simple
xtdb/xtdb
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
merrymercy/awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
shaily99/advice
A repository of links with advice related to grad school applications, research, phd etc
zwang4/awesome-machine-learning-in-compilers
Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
com-lihaoyi/fastparse
Writing Fast Parsers Fast in Scala
mostafatouny/awesome-theoretical-computer-science
The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.
magmide/magmide
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
kgiszczak/shale
Shale is a Ruby object mapper and serializer for JSON, YAML, TOML, CSV and XML. It allows you to parse JSON, YAML, TOML, CSV and XML data and convert it into Ruby data structures, as well as serialize data structures into JSON, YAML, TOML, CSV or XML.
azzamsa/awesome-lisp-companies
Awesome Lisp Companies
ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
mattearnshaw/lawvere
The collected works of F. W. Lawvere
rust-lang/a-mir-formality
a model of MIR and the Rust type/trait system
logic-and-learning-lab/Popper
An inductive logic programming system
chipaudette/OpenAudio_ArduinoLibrary
Arduino Library for OpenAudio Hacking
ferrite-rs/ferrite
Session Type EDSL for Rust
shrutisaxena51/Artificial-Intelligence-in-Compiler-Optimization
A curated list of research papers, datasets, and tools for applying machine learning/Deep learning techniques to compilers and program optimization.
SHoltzen/dice
Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
mgorinova/SlicStan
A Stan-like probabilistic programming language.
odeliy/schema-cave
Various old schematics of retired and unreleased modules.
Dicklesworthstone/grassmann_article
bjoeri/shruthi-1
Firmware and hardware description files for the Shruthi-1, an hybrid monosynth
odevices/er-101
all-things-networking/fperf
isovector/conceptual-mathematics
reading group
hotnetsbuffy/buffy
HotNets 2024 - Code Samples of Buffy Paper
totoyoyo/silver-comprehension-plugin
Plugin to support comprehension for Viper
viperproject/axiom-profiler-2
Temporary redirect to renamed repo