☆21Sep 11, 2022Updated 3 years ago
Alternatives and similar repositories for tail-rec
Users that are interested in tail-rec are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Three.js bindings and a sample ported to F#☆11Dec 8, 2018Updated 7 years ago
- Fable React Sample with JSX and UseElmish☆14Oct 12, 2022Updated 3 years ago
- Butterfly Reader for Hacker News, built with Flutter☆16Oct 27, 2019Updated 6 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A docker image that contains the .NET Core 2.1 SDK and Mono☆12Mar 18, 2019Updated 7 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Idris Version Manager☆16Feb 23, 2025Updated last year
- Kafka For .NET Developers Presentation☆14Aug 9, 2018Updated 7 years ago
- A command line tool for Alessandro Warth's OMetaJS ( an object-oriented language for pattern matching )☆14Jul 31, 2011Updated 14 years ago
- Lean lens implementation with custom notation.☆17Jun 8, 2025Updated 11 months ago
- Ethereum JSONRPC Common Lisp API☆10Jan 30, 2019Updated 7 years ago
- A list of dead JIT compiler projects for CPython.☆18Sep 30, 2022Updated 3 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- fable testing library targeting multiple languages☆15Apr 20, 2026Updated last month
- A Lean 4 library for iterators.☆15Dec 10, 2023Updated 2 years ago
- AVR Simulator to run Atmel code on desktop pc☆14Oct 2, 2017Updated 8 years ago
- ☆17Oct 1, 2020Updated 5 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆14Feb 14, 2025Updated last year
- InDSL - Industrial Data Science Library by Cognite☆20Updated this week
- Python Nairobi Blog☆10Jun 19, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 months ago
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 2 years ago
- Design and discussion for the new C-API for Python☆18Aug 8, 2025Updated 9 months ago
- ☆22Nov 23, 2023Updated 2 years ago
- One line Brainfuck interpreter in Python☆15Oct 10, 2021Updated 4 years ago
- Talks, lightning talks and presentations☆22Dec 11, 2022Updated 3 years ago
- Fable web site☆23May 12, 2026Updated last week
- Harmonize with coworkers around GitHub reviewing.☆24May 11, 2026Updated last week
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆19Oct 5, 2023Updated 2 years ago
- Tool for compiling Lean to WASM☆26Mar 17, 2024Updated 2 years ago
- Modern navigation bar built with Feliz☆20Jan 1, 2023Updated 3 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆25Apr 20, 2026Updated last month
- Toy programming language☆20May 18, 2024Updated 2 years ago
- A library to bridge Swagger API specifications and the Mountebank Test-Double tool☆17Mar 30, 2023Updated 3 years ago
- pentagame on the screen: https://pentagame.herokuapp.com/☆10Dec 12, 2020Updated 5 years ago