Effective Multi-threading in Befunge!
☆46Sep 20, 2018Updated 7 years ago
Alternatives and similar repositories for Befungell
Users that are interested in Befungell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A handful of potentially useful crap for Standard ML☆21Sep 11, 2017Updated 8 years ago
- An esoteric programming language with two mutually modifying Brainfuck-like programs.☆13Nov 12, 2015Updated 10 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- Implementation of Dhall in Dhall☆12Mar 13, 2026Updated last month
- 📤 defer instance resolution until runtime☆18Sep 23, 2019Updated 6 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.
- Dodos Only Divide Or Surrender☆14Mar 18, 2018Updated 8 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- SIL, the "Simple Interpreted Language"☆10Jan 7, 2018Updated 8 years ago
- Generate commutative diagrams inside of Pandoc with Tikz☆34Jul 6, 2017Updated 8 years ago
- Haskell Join-calculus DSL☆24Jan 5, 2019Updated 7 years ago
- StackOverflow Search Library☆10May 29, 2017Updated 8 years ago
- Dependently typed elimination functions using singletons☆28Jan 11, 2026Updated 3 months ago
- Folds for recursive types with GHC Generics☆28Apr 13, 2026Updated last week
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- 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.
- Verified left pad☆19Apr 14, 2018Updated 8 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Materials for ShinyConf 2023 talk: Debugging With Shiny☆13May 10, 2023Updated 2 years ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- ☆16Jan 12, 2018Updated 8 years ago
- ppx extension for string interpolation☆33Apr 6, 2026Updated 2 weeks ago
- A simple implementation of Discrete Interval Encoding Trees☆28Apr 16, 2022Updated 4 years ago
- SmileBASIC server clone☆11May 10, 2019Updated 6 years ago
- Implementation of the construction of team models representing the offensive style of play of soccer teams, and analysis based on these m…☆11Oct 17, 2022Updated 3 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.
- Quantitative predictor of future football scores.☆11Aug 20, 2016Updated 9 years ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- Verified compilation of space-efficient reversible circuits☆23Mar 5, 2019Updated 7 years ago
- Chrome browser extension that replaces the word "blockchain" with the phrase "multiple copies of a giant Excel spreadsheet."☆91Oct 11, 2018Updated 7 years ago
- Shapley Values in Soccer Research☆11Jul 13, 2014Updated 11 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- Process very large Stan models efficiently☆14Dec 5, 2025Updated 4 months ago
- ppx rewriter for [@@deriving jsobject]☆31Aug 12, 2025Updated 8 months ago
- theseus, functional programming language with fully reversible computation☆127Jun 3, 2019Updated 6 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.
- A web application for helping you decide the priorities of your ideas☆18May 9, 2021Updated 4 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Backend HTTP API for Parol – the Esperanto speech robot☆19Feb 18, 2020Updated 6 years ago
- This is the second, much better attempt.☆16Jan 17, 2023Updated 3 years ago
- An example project to demonstrate https://github.com/rvantonder/hack-parallel☆13May 18, 2020Updated 5 years ago
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- RPN command-line calculator☆23Updated this week