eurisko-info-lab's repositories
abella
An interactive theorem prover based on lambda-tree syntax
arrow
Λrrow - Functional companion to Kotlin's Standard Library
arrow-meta
Functional companion to Kotlin's Compiler
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! 🚀
blink
tiniest x86-64-linux emulator
clojure
The Clojure programming language
dhall-haskell
Maintainable configuration files
dhall-lang
Maintainable configuration files
eo
EOLANG, an Experimental Object-Oriented Programming Language Based on 𝜑-calculus
flix
The Flix Programming Language
granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
hazelnut-dynamics-agda
mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
Idris2
A purely functional programming language with first class types
k
K Framework Tools 6.0
kudzu
A monadic (I think...) recursive-descent parser written in Kotlin
lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
lambda-zero
minimalist pure lazy functional programming language (pythonic haskell)
lamdu
lamdu - towards the next generation IDE
lean4
Lean 4 programming language and theorem prover
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
mathlib4
The math library of Lean 4
ott
The Ott tool for writing definitions of programming languages and calculi
p4c
P4_16 reference compiler
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
rhombus-prototype
Brainstorming and draft proposals for Rhombus
rust
Empowering everyone to build reliable and efficient software.
scala3
The Scala 3 compiler, also known as Dotty.
scryer-prolog
A modern Prolog implementation written mostly in Rust.
wabt
The WebAssembly Binary Toolkit