How to implement trampolines for tail calls in Python
β33Feb 14, 2014Updated 12 years ago
Alternatives and similar repositories for trampoline
Users that are interested in trampoline are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell language features and standard libraries in pure Python.β11Aug 23, 2018Updated 7 years ago
- π Terminal string stylingβ12May 3, 2022Updated 4 years ago
- A table library for Idris 2β15Oct 25, 2022Updated 3 years ago
- Idris Version Managerβ16Feb 23, 2025Updated last year
- Automatically derivable JSON marshallers in the spirit of Haskell's aesonβ19Jun 20, 2026Updated last month
- 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.
- Provably total, tail-call optimized monadic recursion in Idris2β15Nov 14, 2023Updated 2 years ago
- Lua backend for Idris 2β28Aug 14, 2022Updated 3 years ago
- Go task packageβ15May 16, 2024Updated 2 years ago
- A hobby implementation of an ncurses binding for Idris 2β17Dec 9, 2024Updated last year
- Write Perl functions within Vimβ19Dec 30, 2018Updated 7 years ago
- a racket lang-extension for debugging, and a macro for inserting a debug-replβ37Oct 23, 2025Updated 9 months ago
- Make pixel art in emacs buffers.β14Feb 22, 2023Updated 3 years ago
- Autocompletion and code introspection for Hy.β49Dec 28, 2022Updated 3 years ago
- The user-friendly command line shell.β13Apr 9, 2025Updated last year
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tree-automata-based run-time type constraints for miniKanrenβ14Aug 3, 2023Updated 2 years ago
- Hotkey library based on python-evdevβ16Nov 24, 2017Updated 8 years ago
- How to distribute a Python package with data: https://stackoverflow.com/questions/3596979/manifest-in-ignored-on-python-setup-py-install-β¦β14Dec 28, 2020Updated 5 years ago
- A toy Python interpreter with monad comprehensionsβ52Jun 3, 2024Updated 2 years ago
- β13May 17, 2024Updated 2 years ago
- Experiments with the Verse Calculus in miniKanrenβ14Sep 17, 2023Updated 2 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIRβ13May 30, 2023Updated 3 years ago
- Run Wandbox(http://melpon.org/wandbox/) in CLI.β12Jul 20, 2015Updated 11 years ago
- An approach to user interfaces based in denotational design.β27Jan 7, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for detβ¦β15Apr 8, 2026Updated 3 months ago
- Harmonize with coworkers around GitHub reviewing.β24Updated this week
- python package for named constants (e.g. enums)β18Jan 7, 2016Updated 10 years ago
- It allows you to download a docker image in a loadable tar-format without using docker pull, only bash and some other CLI toolsβ12Jan 2, 2021Updated 5 years ago
- η‘ιΌ Linuxη (Bigrats for Linux)β12Apr 27, 2020Updated 6 years ago
- Allocator Suite which contains various allocators for workload-specific allocation.β17Apr 29, 2021Updated 5 years ago
- 7-Zip sfx Modified Moduleβ14Dec 16, 2018Updated 7 years ago
- Tiny BASIC interpreter written in Swiftβ12Apr 11, 2015Updated 11 years ago
- Write your generalized parser combinator in 60 lines and extend it.β12May 29, 2021Updated 5 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.
- Unity ECS's system visualizerβ21May 30, 2018Updated 8 years ago
- Reason about Term Rewriting Systemsβ19Jul 24, 2022Updated 4 years ago
- Command line interface library in Idrisβ34Jul 26, 2024Updated 2 years ago
- A benchmark tool for lakehouses.β14Mar 12, 2023Updated 3 years ago
- Tool for navigating Python call graphs. Old project page: https://github.com/nccgroup/call_mapβ18Apr 10, 2023Updated 3 years ago
- β‘ An interactive alternative to swift package initβ13Jul 24, 2023Updated 3 years ago
- Code of telegram bot for tracking your new subscribersβ11Sep 7, 2019Updated 6 years ago