dmatysiak

fakeaws

agda

Agda is a dependently typed programming language / interactive theorem prover.

cider

The Clojure Interactive Development Environment that Rocks for Emacs

circleci.test

Enhanced Clojure test runner for tests written with clojure.test

clojure

The Clojure programming language

compojure-api

Sweet web apis with Compojure & Swagger

configs_scripts

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

cowboy

Small, fast, modular HTTP server written in Erlang.

dmatysiak.github.io

environ

Library for managing environment variables in Clojure

fn.py

Functional programming in Python: implementation of missing features to enjoy FP

Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Idris2

A purely functional programming language with first class types

jacquard

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

lean4

Lean 4 programming language and theorem prover

logs

Logging infrastructure for OCaml

misctools

norms-and-forms

Norms and Forms book in progress

ocaml

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

organon

organon-clj

organon-rkt

pie-hs

An implementation of Pie in Haskell

plan9-theme.el

Emacs theme inspired by the Plan9 project

postagga

A Library to parse natural language in pure Clojure and ClojureScript

reading-notes

retry

Retry combinators for monadic actions that may fail

sphex-machine