reza-bagheri/tail-rec external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

reza-bagheri/tail-rec

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/reza-bagheri/tail-rec)

Close

reza-bagheri / tail-recView on GitHubMore

• External links
• Readme badge

☆21Sep 11, 2022Updated 4 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.

• miguel-nascimento / chip-8

  View on GitHub
  Chip 8 emulator written in Rust 🕹️
  ☆11Feb 6, 2024Updated 2 years ago
• nyxvamp-theme / zed

  View on GitHub
  theme inspired by transfem emo aesthetics - special for cat girls 💜😺
  ☆11Sep 29, 2026Updated last month
• dhilst / small

  View on GitHub
  Typed pure FP where data is syntax sugar for functions
  ☆11Nov 6, 2025Updated 11 months ago
• rzrn / lean4-categories

  View on GitHub
  Category Theory & Cobordism Categories in Lean 4
  ☆16Jun 27, 2024Updated 2 years ago
• TheAngryByrd / fsharp-skills

  View on GitHub
  ☆20Oct 13, 2026Updated 2 weeks ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• w0lya / fable-three

  View on GitHub
  Three.js bindings and a sample ported to F#
  ☆11Dec 8, 2018Updated 7 years ago
• frank-oc / solarized-theme

  View on GitHub
  Dark and light custom UI themes for Sublime Text 2
  ☆14Dec 20, 2011Updated 14 years ago
• ncthbrt / Fable.Websockets

  View on GitHub
  A library to provide strongly typed client/server communication between Fable and F# websocket servers
  ☆12Dec 7, 2022Updated 3 years ago
• noge-labs / kind2lisp

  View on GitHub
  a small one-file lisp implemented in kind2, intentionally incomplete
  ☆11Feb 2, 2023Updated 3 years ago
• hargoniX / Leanwuzla

  View on GitHub
  Connecting bv_decide to SMTLIB.
  ☆19Oct 19, 2026Updated 2 weeks ago
• hydrolarus / toml-idr

  View on GitHub
  A TOML parser for Idris 2
  ☆17Jun 27, 2024Updated 2 years ago
• hargoniX / pfmt

  View on GitHub
  A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf
  ☆15Mar 27, 2025Updated last year
• LunaAmora / Atiny

  View on GitHub
  Atiny is a simple compiler for a ML like language
  ☆11Aug 16, 2023Updated 3 years ago
• FWuermse / lean-postgres

  View on GitHub
  ☆17Jul 6, 2026Updated 3 months ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• NiumXp / pyfuck

  View on GitHub
  One line Brainfuck interpreter in Python
  ☆15Oct 10, 2021Updated 5 years ago
• korulang / koru

  View on GitHub
  The event continuation language
  ☆33Updated this week
• danieldkim / geomodel

  View on GitHub
  A javascript implementation of the Geomodel/Geocell concept: http://code.google.com/apis/maps/articles/geospatial.html
  ☆19Jan 21, 2022Updated 4 years ago
• cwharris / rxjs-splash

  View on GitHub
  Push-based MVVM DOM bindings for Reactive Extensions
  ☆22Jul 1, 2016Updated 10 years ago
• jeffque / rinha-compiler

  View on GitHub
  ☆19Oct 5, 2023Updated 3 years ago
• mattpolzin / harmony

  View on GitHub
  Harmonize with coworkers around GitHub reviewing.
  ☆25Oct 26, 2026Updated last week
• VCA-EPFL / leanses

  View on GitHub
  Lean lens implementation with custom notation.
  ☆21Jun 8, 2025Updated last year
• ssdurante / haildo

  View on GitHub
  Toy programming language
  ☆20May 18, 2024Updated 2 years ago
• cartesi / machine-guest-tools

  View on GitHub
  Set of tools to help the development
  ☆13Oct 10, 2026Updated 3 weeks ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• manos / SPOT-GPS-Tracker-Current-Location-on-Your-Website

  View on GitHub
  ☆17Oct 1, 2020Updated 6 years ago
• baruchel / continuation

  View on GitHub
  A module for handling continuations in Python
  ☆33Oct 9, 2016Updated 10 years ago
• slaveOftime / Fun.OData

  View on GitHub
  Generate odata query with fsharp computation expression
  ☆20Updated this week
• petehunt / lockless

  View on GitHub
  STM for Python
  ☆10Mar 1, 2011Updated 15 years ago
• Dzoukr / Talks

  View on GitHub
  Talks, lightning talks and presentations
  ☆22Dec 11, 2022Updated 3 years ago
• leanprover / hex

  View on GitHub
  Verified computational algebra in Lean 4: aggregator for the released hex libraries
  ☆36Oct 15, 2026Updated 2 weeks ago
• Zaid-Ajaj / navigation-bar-with-feliz

  View on GitHub
  Modern navigation bar built with Feliz
  ☆20Jan 1, 2023Updated 3 years ago
• giuliomoro / bela-faust-jit

  View on GitHub
  Run FAUST code on Bela, compiled just in time!
  ☆12Mar 29, 2018Updated 8 years ago
• q3k / phook

  View on GitHub
  A toolset for extending closed-source Linux processes
  ☆10Apr 12, 2016Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• chiroptical / optics-by-example

  View on GitHub
  Working through https://leanpub.com/optics-by-example by Chris Penner
  ☆12Sep 9, 2021Updated 5 years ago
• beijaflor-io / haskell-language-hcl

  View on GitHub
  language-hcl contains HCL (Hashicorp Configuration Language) parsers and pretty-printers for the Haskell programming language
  ☆14Oct 29, 2019Updated 7 years ago
• 71squared / ParticleEmitterDemo-GLKit-ARC

  View on GitHub
  Sample project showing a particle system running in an OpenGL ES2 + ARC based project
  ☆11Apr 8, 2014Updated 12 years ago
• fable-compiler / fable-compiler.github.io

  View on GitHub
  Fable web site
  ☆24Updated this week
• derekmcloughlin / DiceOfDoom

  View on GitHub
  A Haskell implementation of the Land of Lisp Dice of Doom game.
  ☆12Nov 2, 2014Updated 12 years ago
• mvarie / MMMWhatsAppActivity

  View on GitHub
  MMMWhatsAppActivity is a UIActivity subclass providing WhatsApp support for text (NSString) or image (UIImage).
  ☆12Mar 31, 2014Updated 12 years ago
• fable-compiler / Fable.JsonProvider

  View on GitHub
  F# JSON Type Provider for Fable
  ☆28Jan 22, 2025Updated last year