Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for scheme lambda calculus
lambda-calculus
x
scheme
x
11 search results found
Lang Practices
⭐
26
My language practices :)
Lightsabers
⭐
22
They contain so few lines of code, yet so few people get them right.
Silly K
⭐
13
silly-k is an experimental hobby language inspired by K and APL
Magic
⭐
13
Quantum
⭐
10
A lambda calculus for quantum computation
Loki
⭐
9
A Scheme to WebAssembly compiler
G2q
⭐
8
GNU Guile to OpenQASM compiler. Program a quantum computer using Scheme.
Gazelle
⭐
7
Gazelle - A scripting language inspired by LISP and Scheme
Lambda Calculus
⭐
7
lambda calculus interpreter
Lfc Haskell
⭐
6
🔮 An experiment with the simply typed lambda calculus, recursion schemes, Cofree, and extensible effects
Scheme Dep
⭐
5
A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
Related Searches
Theme Color Scheme (911)
Vim Color Scheme (844)
Python Scheme (766)
Javascript Scheme (705)
Theme Scheme (670)
Vim Script Color Scheme (559)
Vim Scheme (409)
C Scheme (397)
Scheme Sublime Text (370)
Scheme Lisp (332)
1-11 of 11 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.