twesterhout

twesterhout's Stars

• sickcodes/Docker-OSX

  Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

  Language:Shell49.4k4476392.8k

• RustPython/RustPython

  A Python Interpreter written in Rust

  Language:Rust19.5k1721.1k1.3k

• exaloop/codon

  A high-performance, zero-overhead, extensible Python compiler using LLVM

  Language:C++15.3k137428525

• NixOS/nix.dev

  Official documentation for getting things done with Nix.

  Language:Nix2.8k37294261

• vnmakarov/mir

  A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

  Language:C2.4k78262154

• nix-community/impermanence

  Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]

  Language:Nix1.3k1814794

• symengine/symengine

  SymEngine is a fast symbolic manipulation library, written in C++

  Language:C++1.2k44630284

• jiazhihao/TASO

  The Tensor Algebra SuperOptimizer for Deep Learning

  Language:C++695247892

• tweag/jupyenv

  Declarative and reproducible Jupyter environments - powered by Nix

  Language:Nix68331206134

• tweag/HaskellR

  The full power of R in Haskell.

  Language:Haskell5875412847

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook4145110964

• sionescu/bordeaux-threads

  Portable shared-state concurrency for Common Lisp

  Language:Common Lisp240127247

• kpeeters/cadabra2

  A field-theory motivated approach to computer algebra.

  Language:C++2322126439

• incoherentsoftware/defect-process

  Defect Process (2d hack n' slash game) full source code

  Language:Haskell21110814

• mstksg/backprop

  Heterogeneous automatic differentiation ("backpropagation") in Haskell

  Language:Haskell183171522

• kazukiosawa/asdl

  ASDL: Automatic Second-order Differentiation Library for PyTorch

  Language:Python1824418

• jeertmans/languagetool-rust

  LanguageTool API in Rust

  Language:Rust1665176

• quchen/generative-art

  I wanted to make a nicer sticker for Munihac, then things got out of hand.

  Language:Haskell1496497

• TA1312/supernote-a5x

  various security information on the supernote a5x

  Language:Batchfile1161399

• marcosh/crem

  Compositional Representable Executable Machines

  Language:Haskell1086537

• mvr/at

  Effective Algebraic Topology in Haskell

  Language:Haskell88503

• alt-romes/hegg

  Fast equality saturation in Haskell

  Language:Haskell793228

• guibou/PyF

  Haskell QuasiQuoter for String Formatting

  Language:Haskell6855213

• oswald2/AURIS

  A new, open source mission control system in Haskell

  Language:C567369

• rokzitko/sneg

  sneg is a Mathematica package for performing algebraic calculation with non-commuting operators in many-particle physics

  Language:Mathematica53178

• devonhollowood/search-algorithms

  Haskell library containing common graph search algorithms

  Language:Haskell524102

• webyrd/relational-parsing-with-derivatives

  Relational version of parsing with derivatives code

  Language:Scheme421004

• sheaf/if-instance

  GHC plugin to branch on whether a constraint is satisfied

  Language:Haskell30122

• wenkokke/chez-scheme-hs

  Haskell bindings to Chez Scheme

  Language:Haskell1020

• cedric79/d3mft

  Language:Python7201