twesterhout's Stars
typst/typst
A new markup-based typesetting system that is powerful and easy to learn.
tensorly/tensorly
TensorLy: Tensor Learning in Python.
stclib/STC
A modern, user friendly, generic, type-safe and fast C99 container library: String, Vector, Sorted and Unordered Map and Set, Deque, Forward List, Smart Pointers, Bitset and Random numbers.
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
pocl/pocl
pocl - Portable Computing Language
Tiramisu-Compiler/tiramisu
A polyhedral compiler for expressing fast and portable data parallel algorithms
nix-community/nixGL
A wrapper tool for nix OpenGL application [maintainer=@guibou]
nixified-ai/flake
A Nix flake for many AI projects
inducer/loopy
A code generator for array-based code on CPUs and GPUs
marcoheisig/Petalisp
Elegant High-Performance Computing
mmtk/mmtk-core
Memory Management ToolKit
jax-ml/jax-triton
jax-triton contains integrations between JAX and OpenAI Triton
lecopivo/SciLean
Scientific computing in Lean 4
exo-lang/exo
Exocompilation for productive programming of hardware accelerators
espadrine/shishua
SHISHUA – The fastest PRNG in the world
NorfairKing/validity
Validity and validity-based testing
plaidfinch/ComonadSheet
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
nixie-dev/nixie
Put Nix in everything!
FALCONN-LIB/FFHT
Fast Fast Hadamard Transform
QuantumPackage/qp2
Quantum Package : a programming environment for wave function methods
ivan-m/graphviz
Haskell bindings to the Graphviz toolkit
tweag/distributed-closure
Serializable closures for distributed programming.
luc-tielen/llvm-codegen
LLVM code generation in Haskell
ners/trilby
👒 Trilby is a NixOS-based operating system that is modeled after Fedora Linux. It provides new users with sensible defaults and a great out-of-the-box experience.
jmiszczak/qi
QI package for Mathematica
konn/ad-delcont-primop
tweag/timestats
A library to profile time in a Haskell program
BoothGroup/GPSKet
GPS plugin for NetKet (www.netket.org), introducing new models, optimizers and Fermionic functionality.
dschrempf/mcmc
Markov chain Monte Carlo with Metropolis-Hasting algorithm
blamario/canadian-income-tax
Calculating and filling the Canadian income tax forms