bsaul's Stars
HigherOrderCO/Bend
A massively parallel, high-level programming language
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
qjcg/awesome-typst
Awesome Typst Links
agentm/project-m36
Project: M36 Relational Algebra Engine
stipub/stixfonts
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts
dillonkearns/elm-pages
Hybrid Elm framework with full-stack and static routes.
mattearnshaw/lawvere
The collected works of F. W. Lawvere
lecopivo/SciLean
Scientific computing in Lean 4
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
JacquesCarette/Drasil
Generate all the things (focusing on research software)
sigrlami/haskellcosm
Collecting information about Haskell ecosystem - companies, communities, media, etc.
agda/agda-frp-js
ECMAScript back end for Functional Reactive Programming in Agda
agda/agda-language-server
Language Server for Agda
seanhess/hyperbole
Haskell interactive serverside web framework inspired by HTMX
pandoc-ext/diagram
Generate diagrams from embedded code; supports Mermaid, Dot/GraphViz, PlantUML, Asymptote, and TikZ.
PapenfussLab/bionix
Functional highly reproducible bioinformatics pipelines
agda/agda-frp-ltl
An implementation of Functional Reactive Programming
ners/dosh
The power of Haskell in your terminal!
entangled/entangled.py
Python port of Entangled
EasyCrypt/certicrypt
CertiCrypt Coq Framework
agda/agda-finite-prover
Library for proving propositions quantified over finite sets
liamoc/agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Educorreia932/Chique
🐥 Code formatter for Agda
ocramz/htmx-plotly
An htmx extension to update plotly.js charts
DreamLinuxer/popl21-artifact
minimapletinytools/tinytools-vty
RemyDegenne/testing-lower-bounds
Information theory and hypothesis testing, in Lean
iblech/talk-constructive-mathematics
Talks about constructive mathematics
RemyDegenne/CLT
Central limit theorem in Lean
hurlbertlab/mbbs-analysis