-
quantumt3 Public
Quantum tic-tac-toe
-
language-bash Public
Parse and pretty-print Bash shell scripts
-
stackage Public
Forked from commercialhaskell/stackageStable Haskell package sets: vetted consistent packages from Hackage
Dockerfile MIT License UpdatedJan 4, 2025 -
-
MathSymbolsInput Public
LaTeX-style mathematical symbols input method for macOS
-
expect-test Public
Forked from rust-analyzer/expect-testMinimalistic snapshot testing for Rust.
Rust Apache License 2.0 UpdatedFeb 28, 2023 -
formal-agda Public
Experiments in formalizing and specifying computer systems with Agda
-
magic-trace Public
Forked from janestreet/magic-tracemagic-trace collects and displays high-resolution traces of what a process is doing
OCaml MIT License UpdatedAug 5, 2022 -
email-header Public
A Haskell library for parsing and rendering email and MIME headers
-
cubical Public
Forked from agda/cubicalAn experimental library for Cubical Agda
Agda MIT License UpdatedSep 15, 2020 -
verilog Public
Forked from tomahawkins/verilogA Verilog parser for Haskell.
Haskell Other UpdatedFeb 29, 2020 -
ArduinoCore-avr Public
Forked from arduino/ArduinoCore-avrThe Official Arduino AVR core
C UpdatedAug 20, 2019 -
A textbook on informal homotopy type theory
TeX UpdatedNov 22, 2018 -
agda-mode Public
Forked from banacorn/agda-modeagda-mode on Atom
TypeScript MIT License UpdatedNov 18, 2017 -
cxxopts Public
Forked from jarro2783/cxxoptsLightweight C++ command line option parser
C++ MIT License UpdatedOct 10, 2017 -
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedApr 10, 2017 -
trmphify Public
Convert a Little Golem Hex game to a trmph.com board
Python MIT License UpdatedDec 31, 2016 -
-
-
sortalonco Public
Forked from sortalongo/sortaloncoPersonal website, written in Haskell on Yesod, deployed with Docker.
Haskell UpdatedMar 17, 2016 -
-
-
pdfkit Public
A Haskell library for reading PDF documents
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 13, 2014 -
bash-config Public
Safely interpret Bash scripts as configuration files
-
blc Public
Binary Lambda Calculus for general-purpose programming
{{ message }}