OscarSaharoy / lambda-fibonacci
js lambda calculus implementation of the fibonacci sequence
☆19Updated 3 years ago
Alternatives and similar repositories for lambda-fibonacci
Users that are interested in lambda-fibonacci are comparing it to the libraries listed below
Sorting:
- A dynamic data-driven document development environment (DDDDDE)☆83Updated 2 years ago
- Linguistic Antipatterns☆30Updated 2 years ago
- ☆16Updated 10 months ago
- A curated list of awesome GitHub Blocks resources.☆19Updated 2 years ago
- Syntax tree visualizer for tree-sitter☆21Updated 2 years ago
- A collection of utilities for matching syntax in Sweet.js macros☆13Updated 7 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆34Updated 7 years ago
- A reading list of of papers on alternatives and subjunctive interfaces☆11Updated 9 years ago
- Delimited Continuations for JavaScript☆33Updated last year
- Discover laws in your code like with QuickSpec☆15Updated 3 years ago
- Type Inference Library written in TypeScript☆93Updated 2 years ago
- A dynamic, stack-based concatenative toy programming language.☆14Updated 3 years ago
- Elm-style library for writing modern frontends☆15Updated 2 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆25Updated 11 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- Shell scripting in typescript. Powered by deno.☆28Updated last year
- Algebraic Effects in Javascript☆49Updated 2 years ago
- Shared design system and core components for Unison Local and Unison Share☆24Updated this week
- Source code from my Lazy Evaluation video☆16Updated 4 years ago
- maps are everything.☆10Updated 3 years ago
- Powerful recursive Typescript types for `pipe` and `compose`☆30Updated 6 years ago
- 100% pure functional programming language which will allow you to code in untyped lambda calculus as defined in textbooks☆30Updated 2 months ago
- language verification, construction, and analysis☆20Updated 3 years ago
- CLI language client for LSP language servers☆26Updated 10 months ago
- A Modeling Notation ꕤ☆15Updated last month
- A "monad" or DSL for creating React components using Fable and F# computation expressions☆34Updated 2 years ago
- Experimental, recursively-embeddable, domain-specific editors and text editor☆78Updated last year
- Another attempt to realize my programming language☆23Updated 3 months ago
- Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations☆29Updated 3 years ago