We have collection of more than 1 Million open source products ranging from Enterprise product to small libraries in all platforms. We aggregate information from all open source repositories. Search and find the best for your needs. Check out projects section.
write-you-a-haskell - Building a modern functional compiler from first principles
Building a modern functional compiler from first principles. This is a work in progress.
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming functional-language hindley-milner type-inference type-theory intermediate-representationLJSON - JSON extended with pure functions.
LJSON is a drop-in replacement for JSON which also allows you to parse and stringify pure functions and their contents. There are good security reasons for functions to be out of the JSON specs, but most of those are only significant when you allow arbitrary, side-effective programs. With pure functions, one is able to interchange code while still being as safe as with regular JSON. See this and more examples on the Examples directory.
json lambda-calculus functional-programming functionsHOL - Canonical sources for HOL4 theorem-proving system
This is the distribution directory for the Kananaskis release of HOL4. See http://hol-theorem-prover.org for online resources. The following is a brief listing of what's available in the distribution.
theorem-proving lambda-calculus higher-order-logiclambda - 🔮 Estudos obscuros de programação funcional
O propósito desse repo é centralizar tudo que discutirmos na guilda de programação funcional, desde material de estudos até discussões e datas de reuniões. Algumas linguagens mais populares como JS, PHP e C# tem bastante suporte à programação funcional. libs dessa lista tem como objetivo entregar ferramentas para você extrair ao máximo os benefícios de funcional escondidos nelas.
lambda-calculus functional-programming ramda ramdajsLambdaCalculusPlayground - An Android app that provides a visual interface for creating and evaluating lambda calculus expressions
An Android app that lets you build, combine, modify, and evaluate expressions in the untyped lambda calculus, all using a touch interface. The app is available on the Play Store. There is also a demo video.
lambda-calculusuniverse-of-syntax - A universe of scope- and type-safe syntaxes (syntices?)
As a validating example, I've added a purely symbolic implementation of STLC: reduction rules are explicit and defined in terms of substitution, and normalization is proven a la the relevant chapter of Pierce's Software Foundations. The only difference to https://gallais.github.io/pdf/draft_fscd17.pdf is that the node constructor has a unified global view of all the subterms; in particular, of all the types of the subterms. The meaning of the well-typedness constraint wt is that it takes two collections of types: the types of the n newly bound variables, the types of the subterms; it also receives the type of the term just being constructed.
agda substitution lambda-calculus simply-typed-lambda-calculus normalizationpomagma - An inference engine for extensional untyped λ-calculus
Pomagma is an inference engine for extensional untyped λ-join-calculus, a simple model of computation in which nondeterminism gives rise to an elegant gradual type system. Pomagma's base theory is being formally verified in the Hstar project.
lambda-calculus theorem-proving inference-enginetyped-calc - Interpreter for simply typed lambda calculus implemented in JavaScript λ
A type checker and interpreter for simply typed lambda calculus written in JavaScript. Is correct and evaluates to 0.
lambda-calculus interpreter type-systemlc-js - A λ-calculus interpreter written in JavaScript
This interpreter was written for this blog post and was based on the implementation showed in the book Types and Programming Languages.
lambda-calculus lambda interpreterlambda-scala - Type level lambda calculus in Scala
This repository demonstrates an implementation of lambda calculus in Scala types. More examples are found in TermSpec.scala.
typelevel lambda-calculuslambda - Macro Lambda Calculus
This package implements the lambda calculus using interaction nets, providing CLI and API. Its browserified version is available as an online demo.
lambda-calculus interaction-netslambda-calculus - An introduction to the Lambda Calculus
Lambda Calculus is a tiny functional language for expressing computation based on function abstraction and application. This project is intended to be an educational resource for learning and implementing functional programming languages.
lambda-calculus system-flambda-zoo - Implementations of different lambda calculi with abstract binding trees.
Implementations of different lambda calculi with abstract binding trees.
lambda-calculus abstract-binding-trees haskell dependent-typeschurch - :church: Church Encoding in JS
Church encoding is a way of encoding data using only functions. For instance, we can use functions to represent, booleans, numerals and lists. Higher-order functions are all you need for Turing completeness. Check out the docs.
functional-programming lambda-calculus church-encoding combinatory-logic haskell alonzo boolean calculus car cdr church combinatory cons curry encoding functional lambda lisp list logic numeral pair predicatecombinators-js - :bird: Some combinators
I built a Church encoding library too.
combinator functional-programming lambda-calculus combinatory-logic haskell bird birds calculus church combinators combinatory curry encoding functional i idiot k kestrel lambda logic s sage starling yabstract-algorithm - Optimal evaluator of λ-calculus terms.
A cleaned up adaptation of Lamping's abstract algorithm. It evaluates functions optimally by encoding a λ-term as (symmetric) interaction combinators, normalizing the resulting graph, and decoding it back. It asymptotically beats all usual evaluators of functional programs, including Haskell's GHC, Scheme compilers, Google's V8 and so on. Moreover, it is capable of automatically exploiting any inherent parallelizability of your program, since interaction nets are a naturally concurrent model of computation. This implementation consists of two files, a 100-LOC reducer for interaction combinators and a 71-loc conversor of λ-terms to and from those. This particular implementation isn't parallel, but is lazy: it doesn't perform any work that won't influence on the normal form. There is an inherent tradeoff between those. Rust implementation.
functional-programming lambda-calculus interaction-combinators interaction-netslambda-calculus - A simple, clean and fast implementation of the λ-calculus on JavaScript.
A simple, clean and fast implementation of the λ-calculus on JavaScript. It has zero dependencies and only 2.65KB gzipped. It evaluates terms very efficiently by using native JS functions, which is possible thanks to a clever compile/readback algorithm based on JS semantics. It includes the most relevant IO formats - bruijn-indices, binary, base64 and the usual "Wikipedia syntax" - so you can easily export to/from other tools. You can also convert native JS functions to terms and back.
lambda-calculus functional-programmingelsa - Elsa is a lambda calculus evaluator
elsa is a tiny language designed to build intuition about how the Lambda Calculus, or more generally, computation-by-substitution works. Rather than the usual interpreter that grinds lambda terms down to values, elsa aims to be a light-weight proof checker that determines whether, under a given sequence of definitions, a particular term reduces to to another.
lambda-calculus reduction haskell-learning haskellATS-blockchain - ⛓️ Blockchain + Smart contracts from scratch
The full report is online. Part 1 is here and part 2 is here.
ats-lang blockchain smart-contracts lambda-calculus functional-programming programming-language interpreter lisp parser commandline-interface blockchain-demo smart-contract-platformmagnificATS - Collection of ATS goodness
A collection of various programming exercises I have done in ATS. INTRO contains some introductory examples and an article I wrote about ATS and Functional Programming.
ats-lang functional-programming algorithms lambda-calculus sudoku dependent-types tail-recursion neural-network machine-learning compiler
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.
