eurisko-info-lab Goto Github PK

lambda-zero

minimalist pure lazy functional programming language (pythonic haskell)

lambdalisp

A Lisp interpreter written in untyped lambda calculus

lambeq

A high-level Python library for Quantum Natural Language Processing

lamdu

lamdu - towards the next generation IDE

latte

LaTTe : a Laboratory for Type Theory experiments (in clojure)

lean4

Lean 4 programming language and theorem prover

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

mathjax

Beautiful and accessible math in all browsers

mathlib4

The math library of Lean 4

miranda

Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://codesync.global/media/open-sourcing-miranda-david-turner-code-mesh-v-2020-codemeshv2020/

mlir-standalone-template

An out-of-tree MLIR dialect template.

mojo

The Mojo Programming Language

notebook

Jupyter Interactive Notebook

ott

The Ott tool for writing definitions of programming languages and calculi

p4c

P4_16 reference compiler

partiality-monad

petr4

Petr4: Formal Semantics for P4

pi-forall

A demo implementation of a simple dependently-typed language

pie

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

pilin

A Kotlin multi-platform library providing some functional programming idioms and user defined effects.

plfa.github.io

An introduction to programming language theory in Agda

plt

Programming Language Theory λΠ

public-student-support-code

Public helper code for p423/p523 students (Racket)

quinegraphs

Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).

racket

The Racket repository

rhombus-prototype

Brainstorming and draft proposals for Rhombus

roc

A fast, friendly, functional language. Work in progress!

rust

Empowering everyone to build reliable and efficient software.

saltlang

Salt- A dependently-typed higher-order stateful concurrent language.

scala3

The Scala 3 compiler, also known as Dotty.