☆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:
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- Elaboration with inductive types☆16Jun 1, 2023Updated 3 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated 2 years ago
- Process behavior monitoring utility and library based on strace☆28May 9, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A library to bridge Swagger API specifications and the Mountebank Test-Double tool☆17Mar 30, 2023Updated 3 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆12Sep 9, 2021Updated 4 years ago
- ☆25Jun 24, 2021Updated 5 years ago
- pentagame on the screen: https://pentagame.herokuapp.com/☆10Dec 12, 2020Updated 5 years ago
- A module for handling continuations in Python☆33Oct 9, 2016Updated 9 years ago
- a http(s) client in idris☆28Dec 11, 2024Updated last year
- MVC based game "Hunt the wumpus"☆11Sep 23, 2020Updated 5 years ago
- Small Clojure lib to provide basic GPG keypair generation, encryption & decryption facilities☆14Sep 3, 2015Updated 10 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A simple Unix-style command line utility for counting word frequency, written in Rust☆17Jan 27, 2022Updated 4 years ago
- Proxies without the networking☆11Sep 15, 2023Updated 2 years ago
- Deep evaluation of data structures☆43Jun 14, 2025Updated last year
- Unofficial terralang compiler☆13Apr 21, 2023Updated 3 years ago
- Pure python based IMAP server with a MH based file store☆46Updated this week
- imperative server provisioning for elixir☆11Sep 11, 2020Updated 5 years ago
- attempt to create a library of code snippets I use a lot☆18Oct 3, 2014Updated 11 years ago
- Dart useful tools: collections, math, date, etc...☆10Feb 26, 2026Updated 4 months ago
- Basic linear algebra for small matrices in C☆12Sep 9, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Talks I've given at various conferences☆20Mar 2, 2018Updated 8 years ago
- Go task package☆15May 16, 2024Updated 2 years ago
- NAT, stun, turn and ice.☆12Oct 14, 2020Updated 5 years ago
- Adds size optimizations to any Perseus app automatically.☆10Apr 20, 2022Updated 4 years ago
- Application level sharding made simple!☆10Mar 25, 2017Updated 9 years ago
- JVM bytecode assembler as REST api☆11Jul 27, 2025Updated 11 months ago
- A repo to hold some simple experiments☆14May 4, 2022Updated 4 years ago
- A simple build system written in Dart.☆14May 22, 2026Updated 2 months ago
- ☆18Oct 4, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Frame Streams implementation in Go☆16Jul 14, 2025Updated last year
- LuaJIT lexer and parser in C+Lua/ffi☆12Nov 1, 2021Updated 4 years ago
- Use awk to provide cut like syntax for field extraction☆17Jul 8, 2021Updated 5 years ago
- The very simple ETS wrapper simplifying cross-process ETS handling (like `Agent`, but `:ets`).☆13Jun 7, 2019Updated 7 years ago
- GLSL to bytecode compiler and VM☆11May 24, 2016Updated 10 years ago
- Fonts is a package that provides helpers to access font details and easily retrive font bytes with ZERO dependencies☆11Aug 7, 2023Updated 2 years ago
- Per function, Lua JIT using LLVM C++ toolchain☆10Jun 8, 2017Updated 9 years ago