Topic: combinatory-logic Goto Github
Some thing interesting about combinatory-logic
Some thing interesting about combinatory-logic
combinatory-logic,Like the Programming Languages Zoo but with esoteric languages.
User: 4y8
combinatory-logic,Simple Interpreter for the SKI combinator calculus
User: ar2202
combinatory-logic,Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms
User: bediger4000
combinatory-logic,:church: Church Encoding in JS
User: benji6
Home Page: http://benji6.github.io/church/docs
combinatory-logic,:bird: Some combinators
User: benji6
combinatory-logic,SK combinator reducer in Java
User: bokesan
combinatory-logic,JavaScript implementation of the T[ ] transformation
User: chalkpe
Home Page: https://en.wikipedia.org/wiki/Combinatory_logic#Completeness_of_the_S-K_basis
combinatory-logic,A monad and combinator library. Experimental.
User: datashaman
combinatory-logic,A proof of confluence for combinatory logic
User: emarzion
combinatory-logic,⛪ Church encodings for JavaScript primitives
User: f0rr0
combinatory-logic,A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
User: glebec
Home Page: https://glebec.github.io/lambda-talk
combinatory-logic,🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
Organization: helvm
Home Page: http://helvm.org/heltc
combinatory-logic,An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.
User: jamesrweb
Home Page: https://elm.dmy.fr/packages/jamesrweb/elm-aviary/latest/
combinatory-logic,A combinatory logic library for ELM.
User: jamesrweb
Home Page: https://elm.dmy.fr/packages/jamesrweb/elm-combinators/latest/
combinatory-logic,Combinatory Logic Calculator
User: jiro4989
Home Page: https://jiro4989.github.io/colc.nim
combinatory-logic,A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
User: ljedrz
combinatory-logic,A curated list of combinators
Organization: loophp
combinatory-logic,Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system
User: lorepozo
combinatory-logic,A prototypical proof checker and programming language based on illative combinatory logic
User: lukaszcz
combinatory-logic,Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates
User: maehw
combinatory-logic,:bird: *cheep cheep shriek caw*
User: marvinborner
Home Page: https://esolangs.org/wiki/Birb
combinatory-logic,:abacus: Programming with pure lambda calculus
User: marvinborner
Home Page: https://bruijn.marvinborner.de
combinatory-logic,:space_invader: Infinite Craft, but for lambda calculus!
User: marvinborner
Home Page: https://infinite-apply.marvinborner.de/
combinatory-logic,Esoteric unary combinatory logic (variant of Jot)
User: marvinborner
Home Page: https://esolangs.org/wiki/Jottary
combinatory-logic,bruteforge, a selective data combinator.
User: masterzorag
combinatory-logic,Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
Organization: mattwolf-corporation
Home Page: https://mattwolf-corporation.gitbook.io/ip6-lambda-calculus/
combinatory-logic,Experiments to understand and find practical use cases for combinators.
User: mr-rampage
combinatory-logic,Simple Combinatory Logic and Lambda Calculus in Scala
User: naderghanbari
Home Page: https://naderghanbari.github.io/cl-scala/
combinatory-logic,This repository contains my solutions to some of the assignments of the courses I took during my undergraduate first and second year
User: oluwaseunojeleye
combinatory-logic,A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
Organization: planetlambert
combinatory-logic,A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
User: samuelegiraudo
combinatory-logic,A self-hosting mini Haskell compiler with a mini C runtime.
User: siraben
combinatory-logic,simple SKI combinator calculus language written in rust
User: sophie-de-jong
combinatory-logic,Explorations in combinatory logic with Agda
User: splintersuidman
Home Page: https://splintah.github.io/combinatory-logic/
combinatory-logic,Implementing a small functional language with a combinator based graph-reduction machine
User: thma
combinatory-logic,Implementing a small functional language with a combinator graph reduction engine
User: thma
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.