3D City Builder without a grid

Focus on what matters instead of fighting with Git.

An emacs mode for editing Zettelkasten notes with neuron

Emacs auto-complete package

A series of down-to-earth articles on implementing type inference

A visual programming language, evaluated as a cellular automaton

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Advent of code solutions in Haskell

JavaScript security CLI that allow you to deeply analyze the dependency tree of a given package or local Node.js project.

Tfsec is now part of Trivy

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

The Serenity Operating System 🐞

This repository contains code to draw images with the help of python and fourier series

🚧 a work in progress effect system for Haskell 🚧

🌲 A websocket API to track changes to planted trees at https://teamtrees.org

The Spire Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

Linear algebra formalization in Agda

A stack language

A new arguably faster implementation of Apache Spark from scratch in Rust

Haskell IDE

Zipline, a Pythonic Algorithmic Trading Library

Pleasant Programming Language.

Éole, a Lévy-optimal lambda calculus evaluator without oracle

A decent bittorrent library and program

The core OCaml system: compilers, runtime system, base libraries

A two-dimensional parser combinator library.

A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]

Study of language design and implementation.

Haskell GraphQL Api, Client and Tools