NIL Compatibility Library

CVE cache of the official CVE List in CVE JSON 5 format

Limbo is a project to build the modern evolution of SQLite.

eHDL 🥐

Cloud Haskell core libraries

Terminal emulator configurable in Haskell.

The PCI Utilities

A declarative Unix terminal UI library written in Haskell

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentation (Reverse Engineered)

Where Lions Roam: Haskell & Hardware on VELDT

Yosys RTL ▷ Haskell

Where Lions Roam: RISC-V on the VELDT

Hexdim (HEXaDeci-Instruction Machine) is an 8-bit CPU built in Haskell-Clash.

Haskell implemented with combinators

The Glulx VM reference interpreter

Historical source code for Infocom's Z-machine interpreters

A project to create unencumbered open-source ROMs for use on selected retro computers

MEGA65 FPGA core

XLS: Accelerated HW Synthesis

Structured editing minor mode for Haskell in Emacs

IP Cores written in Kansas Lava

Brainfuck CPU from simple logic gates

A CPU that uses Brainfuck as its machine code

Brainfuck compiler that runs on the Commodore 64 (or any 6502-based computer supported by cc65 that has enough RAM)

Hood debugger, based on the idea of observing functions and structures as they are evaluated.

Our Arduino experiments

Kansas Lava

A purely functional programming language with first class types