Pinned Repositories
Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
bindings-freetype-gl
Low-level Haskell bindings for the freetype-gl library
freetype2
My personal branch of the freetype2 source code
FreetypeGL
High-level Haskell bindings for the freetype-gl package
hypertypes
Hypertypes - generic programming for heterogeneous recursive types
lamdu
lamdu - towards the next generation IDE
lamdu-calculus
An extended typed Lambda Calculus
momentu
A purely functional animated GUI framework
nodejs-exec
NodeJS embedded in a Haskell cabal package
rocksdb-haskell
Haskell bindings to LevelDB (https://github.com/google/leveldb)
The Lamdu IDE's Repositories
lamdu/lamdu
lamdu - towards the next generation IDE
lamdu/hypertypes
Hypertypes - generic programming for heterogeneous recursive types
lamdu/lamdu-calculus
An extended typed Lambda Calculus
lamdu/momentu
A purely functional animated GUI framework
lamdu/Algorithm-W-Step-By-Step
Classic Algorithm W for type inference.
lamdu/FreetypeGL
High-level Haskell bindings for the freetype-gl package
lamdu/bindings-freetype-gl
Low-level Haskell bindings for the freetype-gl library
lamdu/nodejs-exec
NodeJS embedded in a Haskell cabal package
lamdu/rocksdb-haskell
Haskell bindings to LevelDB (https://github.com/google/leveldb)
lamdu/freetype2
My personal branch of the freetype2 source code
lamdu/graphics-drawingcombinators
Combinators for drawing 2D shapes and images in Haskell (using OpenGL)
lamdu/lamdu.github.io
Github pages site lamdu.github.io
lamdu/presentations
Ideas for videos, papers and posts
lamdu/bindings-GLFW
Low-level Haskell bindings to GLFW
lamdu/freetype-gl
OpenGL text using one vertex buffer, one texture and FreeType
lamdu/glfw
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
lamdu/GLFW-b
Haskell bindings to GLFW
lamdu/inline-c
lamdu/lambdu
Typo-redirection page to Lamdu
lamdu/language-ecmascript
Haskell library: ECMAScript parser, pretty-printer and additional tools
lamdu/presentation-live-2018
Work on presentation for LIVE 2018
lamdu/text-trie
An efficient finite map from Text to values, based on bytestring-trie.