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

The Egison Programming Language

Minimal implementations for dependent type checking and elaboration

a challenge for Haskell beginners

Explain why two Nix derivations differ

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.

LLM-powered typed-holes

Learn haskell

telegram vertical formatting bot