eurisko-info-lab

Pinned Repositories

abella
An interactive theorem prover based on lambda-tree syntax
Language:OCaml0 0 00
arrow
Λrrow - Functional companion to Kotlin's Standard Library
Language:Kotlin00
arrow-meta
Functional companion to Kotlin's Compiler
Language:Kotlin00
auto-dev
🧙‍AutoDev: The AI-powered coding wizard with multilingual support 🌐, auto code generation 🏗️, and a helpful bug-slaying assistant 🐞! Customizable prompts 🎨 and a magic Auto Dev/Testing/Document/Agent feature 🧪 included! 🚀
Language:Kotlin00
beaver
Beaver is a LLVM/MLIR Toolkit in Elixir and Zig.
Language:Elixir0 0 00
blink
tiniest x86-64-linux emulator
Language:C00
chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Language:JavaScript0 0 00
ChezScheme
Chez Scheme
Language:Scheme00
ciao
Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
Language:Prolog00
clojure
The Clojure programming language
Language:Java00

eurisko-info-lab's Repositories

eurisko-info-lab/dot-calculus
Adding extensions to DOT calculus
eurisko-info-lab/functional-composition
A live-coding presentation on music theory and Bach's "Canone alla Quarta".
Language:Clojure0 0
eurisko-info-lab/hackett
WIP implementation of a Haskell-like Lisp in Racket
Language:Racket0 0
eurisko-info-lab/hdiff
Hash-based Diffing for AST's
eurisko-info-lab/j-bob
eurisko-info-lab/lambda-terminal
The future of programming?
eurisko-info-lab/pie
The Pie language, which accompanies The Little Typer by Friedman and Christiansen
eurisko-info-lab/saltlang
Salt- A dependently-typed higher-order stateful concurrent language.
eurisko-info-lab/smyth
Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.