dmatysiak Goto Github PK

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

clojure-transducer-examples

Some trivial examples of using Clojure Transducers

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

fakeaws

flambo

A Clojure DSL for Apache Spark

fn.py

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

frames

Data frames for tabular data.

haxl

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

hlearn

Homomorphic machine learning

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

old-clj-experiments

organon

organon-clj

organon-rkt

parsec

Parsec-style parsing for Erlang