mhorod

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Language:RustMPL-2.01089 13 8

codespan

Beautiful diagnostic reporting for text-based programming languages.

Language:RustApache-2.01084 13 102

passerine

A small extensible programming language designed for concise expression with little code.

Language:RustMIT1040 25 40

lexy

C++ parsing DSL

Language:C++BSL-1.01004 17 106

wu

🐉 A practical game and data language

Language:RustMIT472 14 27

fall

Language:RustMIT132 18 2

proglangdesign.github.io

A website for the #proglangdesign community on freenode

Language:HTMLMIT108 11 12

hindley-milner-python

Hindley-Milner Type Inference implemented in (although not for) Python.

Language:PythonMIT86 3 1

minilang-interpreter

Interpreter and Read-Eval-Print-Loop for a simple programming language called "MiniLang", written in C++

Language:C++MIT65 3 1

coboard

Language:TypeScript4 10

TheCoolStrategy

tower defence game very cool

Language:Java4 2 1

satori-cli

Command line program to submit solutions on code testing platform Satori written in Rust

Language:RustMIT3 20

chess

Chess made as an assignment project for OOP course 2021/22

Language:JavaMIT3 3 1

dotfiles

Arrr! Welcome aboard me Arch Linux dotfiles treasure trove! 🦜

Language:Shell3 10

groundhog

A project in concurrent programming

Language:C++2 10

matlab_compiler

Language:Python2 10

fireworks

A screensaver-style animation, originally written in p5.js, rewritten in Python

Language:Python100

mudlands

A fun survival game

Language:Java1 10

texperimental

A set of LaTeX packages for taking notes and writing math texts

Language:TeX1 10

CardGame

Language:Java1 10

sokoban-multiplayer

Language:TypeScript1 10