elpinal Goto Github PK

mdindicator

Markdown indicator

mixml

This project is abandoned — see https://github.com/elpinal/mixml-sml for a successful implementation. An implementation of MixML [WIP]

mixml-sml

A MixML typechecker, written in Standard ML

modal

Modal type system

modules

Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules

modules-rs

An interpreter of F-ing modules

molino

Molino programming language — LISP in Go

monumental-ruby

Manage various versions of Ruby

moon-stack

Coming soon

mtal

A modular module system for typed assembly languages, or “how to implement modular typed assembly languages?”

ocaml-modular-implicits

OCaml extended with modular implicits

orthogonal-reflection

[WIP] Orthogonal-Reflection Construction

ottoriono

A minimal language

parse-and-substitution

Parse (not just transform) named λ-terms "directly" into nameless ones

project-euler

Solving Project Euler

psla

Manage Python environment

rain-ml

Rain ML: a pleasant, purely functional programming language [WIP]

rain-ml-dev-tools

Tools for Rain ML developers

rain-vm

A virtual machine for Rain ML [WIP]

rainy

The Rain ML toolchain installer [WIP]

regalloc

Training in register allocation

regions

Is it possible to extend region inference to System F?

remark-code-extra

Add to or transform the HTML output of markdown code blocks using remark

revim

Regular expression of Vim

rust-vim-flavor

rust.vim

Vim configuration for Rust.

satysfi

A statically-typed, functional typesetting system

satysfi.el

An Emacs major mode for SATySFi

seqmod

Full implementation of F-ing Modules, with the power of sequent calculus

singleton-kinds

Deciding type equivalence in the presence of singleton kinds and elimination of them, written in Bright ML