hermetique Goto Github PK

djest

A programming language that deduces code from tests

docker-haste-compiler

Docker image for Haste compiler

dodos

Dodos Only Divide Or Surrender

dogless

reference implementation of the dogless programming language

dovetail

A PureScript interpreter in Haskell

drift-hakerh400

A tool for checking, verifying, archiving and studying mathematical proofs

drift-nyu-acsys

An abstract-interpretation-based static analysis for inferring refinement types

dromedary

Dromedary is an experimental subset of OCaml, using constraint-based type inference!

duck-language

A simple language for genetic programming

ducks

These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

dull-lang

dungeon-crawl

A text-based game written in Lisp

e

minimalistic full screen text editor on ncurses

eclair-lang

An experimental, minimal Datalog implementation in Haskell

edit

Edit is a monad for rewriting things.

edsger

Concatenative language with pattern matching analysis

eff

Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators

effects-as-sessions

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

egel

The Egel Programming Language

egglog

A prolog like syntax for egg

egraph

eight

Eight is a toy programming language built for metaprogramming.

ela

Ela is a simple, yet powerful modern functional language with a state-of-art syntax. Ela combines strict and lazy evaluation, dynamic typing and features, which are normally adopted by statically typed languages, such as algebraic data types and Haskell style type classes.

emailang

A programming language based on emails

enjamb

An esoteric programming language where it's not what's in your lines that matters — it's where you break them.

eodermdrome

Proof-of-concept eodermdrome interpreter

eople

Actor-model based concurrency in a reactive programming language.

eq

A stream-based functional language

equational-calculator

A tool to use the inference rules of equational logic on terms.

er-systemf

An implementation of System-F, and combinators for rewriting it.