m0rphism's Stars
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
coreylowman/dfdx
Deep learning in Rust, with shape checked tensors and neural networks
rougier/freetype-gl
OpenGL text using one vertex buffer, one texture and FreeType
sminez/penrose
A library for writing an X11 tiling window manager
sol/hpack
hpack: A modern format for Haskell packages
idris-hackers/software-foundations
Software Foundations in Idris
sol/doctest
An implementation of Python's doctest for Haskell
williamdemeo/TypeFunc
Resources for type theory, functional programming, etc.
AnyDSL/impala
An imperative and functional programming language
AnyDSL/thorin
The Higher-Order Intermediate Representation
sol/markdown-unlit
Literate Haskell support for Markdown
preshing/CMakeDemo
An example cross-platform CMake-based project using SDL2 and OpenGL
conal/Collaboration
Play/learn/work with me
alhassy/gentle-intro-to-reflection
A slow-paced introduction to reflection in Agda. ---Tactics!
gallais/generic-syntax
A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
rampion/conkin
Tools for functors from Hask^k to Hask
beerendlauwers/HaskAnything
Hask Anything! is a website aimed at collecting and organizing the collective knowledge of the Haskell community.
JonasDuregard/BNFC-meta
dsxmachina/rfm
rust-file-manager
wjzz/Agda-mode-improvements
Some simple tools for agda-mode to make programming in Agda even more enjoyable.