How to implement trampolines for tail calls in Python
☆32Feb 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:
- 🌈 Terminal string styling☆11May 3, 2022Updated 4 years ago
- Composable folds☆13Jul 18, 2018Updated 7 years ago
- A collection of macros for Hy☆10Feb 5, 2015Updated 11 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- WontFIX: Pragmatic Scala FIX engine☆19Aug 5, 2016Updated 9 years 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.
- Idris Version Manager☆16Feb 23, 2025Updated last year
- Implementation of code snippets and exercises in the book Machine Learning for Asset Managers written by Prof. Marcos López de Prado.☆16Sep 10, 2020Updated 5 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆19Nov 15, 2025Updated 5 months ago
- A table library for Idris 2☆15Oct 25, 2022Updated 3 years ago
- AngularJS + Bottle.py☆19May 1, 2024Updated 2 years ago
- Kodi's Hy utility functions and macros☆13Jan 11, 2026Updated 3 months ago
- 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
- Scripting language in the form of a Delphi/Lazarus component☆18Jun 14, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- python code for retrieving data on Pinnacle Sports site and loading to db☆11May 25, 2024Updated last year
- NixOS (24.05) Lenovo ThinkPad T14 configuration with i3, flake, home-manager, and more...☆29Dec 22, 2025Updated 4 months ago
- Go task package☆15May 16, 2024Updated last year
- A sort-of continuation of the TinyScheme project by Dimitrios Souflis☆13Mar 8, 2016Updated 10 years ago
- Compute the most likely permutation of a lattice given an LM☆10Jan 3, 2013Updated 13 years ago
- Autocompletion and code introspection for Hy.☆49Dec 28, 2022Updated 3 years ago
- The Hy Transformer☆85May 7, 2019Updated 6 years ago
- Clojure wrapper for Apache Shiro☆29May 27, 2025Updated 11 months ago
- Experimental JS bindings for idris2-rhone☆21Oct 22, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Org-Babel support for evaluating hylang code.☆26Jan 18, 2021Updated 5 years ago
- An approach to user interfaces based in denotational design.☆27Jan 7, 2023Updated 3 years ago
- A “Hello World” of calling Rust code from a Python program with CFFI, in order to show packaging issues☆11Jul 14, 2016Updated 9 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- control files, raspberry pi code, python simulation, and CAD files☆16Mar 8, 2021Updated 5 years ago
- ☆35Mar 22, 2014Updated 12 years ago
- Harmonize with coworkers around GitHub reviewing.☆24Updated this week
- An attempt to implement the typing rules of Featherweight Java using Haskell.☆11Aug 19, 2012Updated 13 years ago
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- SQLAlchemy-Database provides shortcut functions to common database operations for SQLAlchemy ORM.☆14Mar 31, 2024Updated 2 years ago
- The Neovim REPL.☆27Jun 4, 2020Updated 5 years ago
- ☆34Apr 28, 2026Updated last week
- Unity ECS's system visualizer☆21May 30, 2018Updated 7 years ago
- Command line interface library in Idris☆34Jul 26, 2024Updated last year
- A secure utmp/wtmp implementation☆19Apr 4, 2026Updated last month