moonad-archive / Formality Javascript
Licence: mit
An implementation of the Formality language in JavaScript
Stars: ✭ 71
Programming Languages
javascript
184084 projects - #8 most used programming language
Labels
Projects that are alternatives of or similar to Formality Javascript
ATS-blockchain
⛓️ Blockchain + Smart contracts from scratch
Stars: ✭ 18 (-74.65%)
Mutual labels: lambda-calculus
Plam
An interpreter for learning and exploring pure λ-calculus
Stars: ✭ 385 (+442.25%)
Mutual labels: lambda-calculus
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-54.93%)
Mutual labels: lambda-calculus
Lambda Talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Stars: ✭ 315 (+343.66%)
Mutual labels: lambda-calculus
Fp Core.rs
A library for functional programming in Rust
Stars: ✭ 772 (+987.32%)
Mutual labels: lambda-calculus
Mikrokosmos
(λ) Educational lambda calculus interpreter
Stars: ✭ 50 (-29.58%)
Mutual labels: lambda-calculus
Zion
A statically-typed strictly-evaluated garbage-collected readable programming language.
Stars: ✭ 33 (-53.52%)
Mutual labels: lambda-calculus
Write You A Haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Stars: ✭ 3,064 (+4215.49%)
Mutual labels: lambda-calculus
Lambda
🔮 Estudos obscuros de programação funcional
Stars: ✭ 297 (+318.31%)
Mutual labels: lambda-calculus
Aws Lambda Workshop
Some incremental examples suitable to host an AWS Lambda Functions workshop
Stars: ✭ 18 (-74.65%)
Mutual labels: lambda-calculus
types-and-programming-languages
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
Stars: ✭ 92 (+29.58%)
Mutual labels: lambda-calculus
Pts
implementation of Pure Type Systems (PTS) in Rust.
Stars: ✭ 41 (-42.25%)
Mutual labels: lambda-calculus
Type-Theory
Lecture note on Lambda Calculus and Types for FLOLAC
Stars: ✭ 26 (-63.38%)
Mutual labels: lambda-calculus
Hol
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.
Stars: ✭ 414 (+483.1%)
Mutual labels: lambda-calculus
Lambda calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Stars: ✭ 46 (-35.21%)
Mutual labels: lambda-calculus
Dblib Linear
Formalisation of the linear lambda calculus in Coq
Stars: ✭ 10 (-85.92%)
Mutual labels: lambda-calculus
Formality.js
Main repository for the JavaScript implementation of the Formality language.
You can install Formality via npm
with:
$ npm i -g formality-lang
Or via nix
with:
$ git clone https://gitlab.com/moonad/Formality-JavaScript.git
$ cd Formality-JavaScript
$ nix-channel add https://nixos.org/channels/nixpkgs-unstable unstable
$ nix-env -f default.nix formality-lang
It can be used from the terminal with the fm
command, or as a library with require("formality-lang")
.
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].