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