☆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:
- Demonstrating P2P state synchronization using rtc-mesh☆22Jan 4, 2015Updated 11 years ago
- Lightweight CLI test runner for FsCheck☆12Apr 24, 2020Updated 5 years ago
- A memory benchmarking and analysis tool for CPython development☆18Mar 17, 2026Updated 3 weeks ago
- Fable React Sample with JSX and UseElmish☆14Oct 12, 2022Updated 3 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A docker image that contains the .NET Core 2.1 SDK and Mono☆12Mar 18, 2019Updated 7 years ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated 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
- ReactiveX for data science☆14Sep 18, 2025Updated 6 months ago
- ☆18Mar 4, 2023Updated 3 years ago
- A library to provide strongly typed client/server communication between Fable and F# websocket servers☆12Dec 7, 2022Updated 3 years ago
- Lean lens implementation with custom notation.☆16Jun 8, 2025Updated 10 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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
- ☆12Oct 1, 2025Updated 6 months ago
- 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
- ☆16Updated this week
- Elaboration with inductive types☆16Jun 1, 2023Updated 2 years ago
- ☆19Oct 7, 2024Updated last year
- Repositório responsável pela série de vídeos sobre: Azure, Cloud Computing, Serverless, Azure Functions, Static Web Apps e GitHub Actions☆13Apr 15, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Feb 14, 2025Updated last year
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 2 years ago
- ☆18Dec 9, 2019Updated 6 years ago
- InDSL - Industrial Data Science Library by Cognite☆19Updated this week
- Python Nairobi Blog☆10Jun 19, 2019Updated 6 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- Full stack RESTful webapp using F#, ASP.NET Core, Fable, Feliz and Entity Framework Core☆17Feb 13, 2022Updated 4 years ago
- A PCRE2 compatible regular expression engine written in Lean 4.☆19Feb 27, 2026Updated last month
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- .NET SDK for Cognite Data Fusion (CDF)☆17Apr 3, 2026Updated last week
- Command completion for Kafka tools and bin commands☆11Jun 2, 2021Updated 4 years ago
- Design and discussion for the new C-API for Python☆18Aug 8, 2025Updated 8 months ago
- ☆22Nov 23, 2023Updated 2 years ago
- Talks, lightning talks and presentations☆22Dec 11, 2022Updated 3 years ago
- Fable web site☆23Mar 30, 2026Updated last week
- Hello world example for PostgreSQL's foreign data wrapper(FDW)☆12Mar 18, 2017Updated 9 years ago