Lists (8)
Starred repositories
19
stars
written in Haskell
Clear filter
Parsing, analyzing, and comparing source code across many languages
A strongly-typed language that compiles to JavaScript
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
A shell script which checks your $HOME for unwanted files and directories.
DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc
Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)
A statically typed concatenative systems programming language.
Emanate a structured view of your plain-text notes
Minimal implementations for dependent type checking and elaboration
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Call Haskell functions from any programming language via serialization and dynamic libraries
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.