jwkai

jwkai's Stars

• shaily99/advice

  A repository of links with advice related to grad school applications, research, phd etc

  2.1k193

• SHoltzen/dice

  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)

  Language:OCaml8020

• hotnetsbuffy/buffy

  HotNets 2024 - Code Samples of Buffy Paper

  Language:Dafny1

• all-things-networking/fperf

  Language:C++141

• xtdb/xtdb

  An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt

  Language:Clojure2.6k168

• com-lihaoyi/fastparse

  Writing Fast Parsers Fast in Scala

  Language:Scala1.1k164

• 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.

  846

• merrymercy/awesome-tensor-compilers

  A list of awesome compiler projects and papers for tensor computation and deep learning.

  2.4k301

• 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

  1.5k163

• mgorinova/SlicStan

  A Stan-like probabilistic programming language.

  Language:F#694

• coalton-lang/coalton

  Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  Language:Common Lisp1.1k70

• azzamsa/awesome-lisp-companies

  Awesome Lisp Companies

  59641

• rust-lang/a-mir-formality

  a model of MIR and the Rust type/trait system

  Language:Rust28433

• rougier/nano-emacs

  GNU Emacs / N Λ N O - Emacs made simple

  Language:Emacs Lisp2.6k195

• viperproject/axiom-profiler-2

  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).

  Language:Rust163

• Dicklesworthstone/grassmann_article

  505

• ferrite-rs/ferrite

  Session Type EDSL for Rust

  Language:Rust10010

• totoyoyo/silver-comprehension-plugin

  Plugin to support comprehension for Viper

  Language:Scala1

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  32133

• mostafatouny/awesome-theoretical-computer-science

  The interdicplinary of Mathematics and Computer Science, Distinguisehed by its emphasis on mathemtical technique and rigour.

  Language:Python69444

• isovector/conceptual-mathematics

  reading group

  Language:Agda7

• ligurio/practical-fm

  A gently curated list of companies using verification formal methods in industry

  49837

• logic-and-learning-lab/Popper

  An inductive logic programming system

  Language:Python20533

• odeliy/schema-cave

  Various old schematics of retired and unreleased modules.

  504

• chipaudette/OpenAudio_ArduinoLibrary

  Arduino Library for OpenAudio Hacking

  Language:C++12532

• bjoeri/shruthi-1

  Firmware and hardware description files for the Shruthi-1, an hybrid monosynth

  Language:C++225

• odevices/er-101

  Language:C223

• satwikkansal/wtfpython

  What the f*ck Python? 😱

  Language:Python35.8k2.7k

• 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.

  Language:Ruby63520

• magmide/magmide

  A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

  Language:Coq81113