timjs
Follow
Lists (1)
Starred repositories
Agda lecture notes for the Functional Programming course at TU Delft
Agda is a dependently typed programming language / interactive theorem prover.
An introduction to programming language theory in Agda
A repository for the stack switching proposal.
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
A new markup-based typesetting system that is powerful and easy to learn.
Documentation about Haskell's dangerous functions and a hlint config file to warn about them
💌 A beautiful, fast and fully open source mail client for Mac, Windows and Linux.
High performance, concurrent functional programming abstractions
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
A toy programming language which is a subset of OCaml.
The core OCaml system: compilers, runtime system, base libraries
📜 Haskell course info, plan, video lectures, slides
A demo implementation of a simple dependently-typed language
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
Implementations of various type systems in OCaml.
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
⭐️ A friendly language for building type-safe, scalable systems!
A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR
Super simple build framework with fast, repeatable builds and an instantly familiar syntax – like Dockerfile and Makefile had a baby.
Purely functional data structures in Koka