Pinned Repositories
am-vcv
dear-imgui-reflex
See README for more info
diffhask
DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
fauveal-subspace
fdg-hsk
Partial implmentation of the code in Functional Differential Geometry
formality-hs
MoltenVK-nix
nix expressions for building the MoltenVK library (and utilities)
nix-emacs-agda
a nix template for agda projects (with emacs overlay0
numhask-array
o1lo01ol1o's Repositories
o1lo01ol1o/nix-emacs-agda
a nix template for agda projects (with emacs overlay0
o1lo01ol1o/am-vcv
o1lo01ol1o/fauveal-subspace
o1lo01ol1o/categorifier-c
Haskell to C compiler via Categorifier
o1lo01ol1o/Color
Extensive collection of color spaces and color models
o1lo01ol1o/compdata-param
Haskell library implementing parametric compositional data types.
o1lo01ol1o/diagrams-contrib
User-contributed extensions to diagrams
o1lo01ol1o/diagrams-reflex
o1lo01ol1o/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
o1lo01ol1o/faust
Functional programming language for signal processing and sound synthesis
o1lo01ol1o/hleap
o1lo01ol1o/hs-web3
Web3 API for Haskell.
o1lo01ol1o/HVM
A massively parallel, optimal functional runtime in Rust
o1lo01ol1o/iisignature
Iterated integral signature calculations
o1lo01ol1o/kqueue
Haskell bindings to kqueue
o1lo01ol1o/monad-bayes
A library for probabilistic programming in Haskell.
o1lo01ol1o/numhask
Classes for numbers, higher-dimension representable objects, and algebras that combine them.
o1lo01ol1o/obelisk-rhyolite-template
A template repository for your Obelisk+Rhyolite projects
o1lo01ol1o/poly
o1lo01ol1o/polynomial-functor
Polynomial functors (a.k.a. containers) in Haskell
o1lo01ol1o/reimagined-spoon
o1lo01ol1o/rubato-composer
Rubato Composer is a music software based on the concepts and models of mathematical music theory.
o1lo01ol1o/semantic-reflex
🔧 Semantic UI for Haskell and Reflex-DOM
o1lo01ol1o/simple-sql-parser
SQL parser in Haskell
o1lo01ol1o/sql_graphviz
Generates graphviz commands to graphically display tables and show foreign key links.
o1lo01ol1o/Tambura
Tambura.dsp - Waveguide physical model of an Indian Tambura/Tanpura in FAUST
o1lo01ol1o/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
o1lo01ol1o/theHoTTGameGuide
o1lo01ol1o/type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
o1lo01ol1o/Wikind
Vast collection of Kind2 definitions