Topic: lambda-calculus Goto Github
Some thing interesting about lambda-calculus
Some thing interesting about lambda-calculus
lambda-calculus,An interactive theorem prover based on lambda-tree syntax
Organization: abella-prover
Home Page: https://abella-prover.org/
lambda-calculus,Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
User: andgate
lambda-calculus,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
lambda-calculus,implementation of Pure Type Systems (PTS) in Rust.
User: andyshiue
lambda-calculus,Bologna Optimal Higher-Order Machine, Version 1.1
User: asperti
lambda-calculus,:church: Church Encoding in JS
User: benji6
Home Page: http://benji6.github.io/church/docs
lambda-calculus,:bird: Some combinators
User: benji6
lambda-calculus,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
lambda-calculus,A simple UI for evaluating expressions in the untyped lambda calculus
User: cdparks
lambda-calculus,Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Organization: cedille
Home Page: https://cedille.github.io/
lambda-calculus,🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
User: chibicode
Home Page: https://ycombinator.chibicode.com
lambda-calculus,Life like molecular computers with artificial chemistry.
User: chorasimilarity
Home Page: https://chemlambda.github.io/index.html
lambda-calculus,Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Organization: chymyst
lambda-calculus,minimalist pure lazy functional programming language (pythonic haskell)
User: clark800
lambda-calculus,Macro Lambda Calculus
User: codedot
Home Page: https://www.npmjs.com/package/@alexo/lambda
lambda-calculus,A human readable quasi-concatenative programming language
Organization: cognate-lang
lambda-calculus,Coq formalizations of functional languages.
Organization: discus-lang
Home Page: iron.ouroborus.net
lambda-calculus,The compilation target that functional programmers always wanted.
Organization: discus-lang
lambda-calculus,A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
User: glebec
Home Page: https://glebec.github.io/lambda-talk
lambda-calculus,Fun with λ calculus!
User: gtramontina
lambda-calculus,A modern proof language
Organization: higherorderco
Home Page: https://higherorderco.com
lambda-calculus,Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Organization: hol-theorem-prover
Home Page: https://hol-theorem-prover.org
lambda-calculus,A library for functional programming in Rust
User: jasonshin
lambda-calculus,Map lazy functional language constructs to LLVM IR
User: jfaure
lambda-calculus,A curated list of functional programming resources to study the fp paradigm
Organization: lambda-study-group
lambda-calculus,Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
User: lazear
lambda-calculus,A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
User: ljedrz
lambda-calculus,:bird: *cheep cheep shriek caw*
User: marvinborner
Home Page: https://esolangs.org/wiki/Birb
lambda-calculus,:abacus: Programming with pure lambda calculus
User: marvinborner
Home Page: https://bruijn.marvinborner.de
lambda-calculus,An implementation of the Formality language in JavaScript
Organization: moonad-archive
lambda-calculus,(λ) Educational lambda calculus interpreter
User: mroman42
Home Page: https://mroman42.github.io/mikrokosmos
lambda-calculus,SKI combinators
User: ngzhian
lambda-calculus,十分钟魔法练习
User: niltok
Home Page: https://magic.huohuo.moe
lambda-calculus,Lambda Calculus things implemented on Python
Organization: orsinium-labs
lambda-calculus,🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
Organization: orsinium-labs
lambda-calculus,🔮 Estudos obscuros de programação funcional
Organization: pagarme
lambda-calculus,Animations of lambda term reduction sequences
User: polux
lambda-calculus,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
lambda-calculus,An introduction to the Lambda Calculus
User: sgillespie
lambda-calculus,Make a lambda calculus.
User: sjsyrek
lambda-calculus,An interpreter for learning and exploring pure λ-calculus
User: slovnicki
lambda-calculus,Specification of the Formality proof and programming language
Organization: soonad
lambda-calculus,λλλλ Lennart Augustsson's λ-calculus cooked four ways
User: steshaw
lambda-calculus,An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
User: tarao
Home Page: https://tarao.github.io/LambdaJS
lambda-calculus,Elsa is a lambda calculus evaluator
Organization: ucsd-progsys
lambda-calculus,A statically-typed strictly-evaluated garbage-collected readable programming language.
User: wbbradley
lambda-calculus,Minimalistic dependent type theory with syntactic metaprogramming
User: whatisrt
lambda-calculus,x86 C compiler written in untyped lambda calculus
User: woodrush
lambda-calculus,A Lisp interpreter written in untyped lambda calculus
User: woodrush
lambda-calculus,An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
User: zehaochen19
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.