One line Brainfuck interpreter in Python
☆15Oct 10, 2021Updated 4 years ago
Alternatives and similar repositories for pyfuck
Users that are interested in pyfuck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🗣️ | Javascript interpreter for ednaldo language☆43Jun 16, 2021Updated 4 years ago
- A series of crates that I made to compile images/video into asciinema & play them.☆21Updated this week
- ✨ | a simple yet awesome configuration to make MY desktop look and feel amazing☆13May 9, 2021Updated 4 years ago
- I created this repository in order to help devs who are having problems with their commit.☆16May 1, 2021Updated 4 years ago
- ☆12Aug 5, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- JavaScript Playground similar to runkit but on top of MDX and local first☆13Oct 9, 2020Updated 5 years ago
- Home to my personal configuration files.☆13Updated this week
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated 2 months ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- unloading modules with ocaml native☆16Dec 13, 2020Updated 5 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Idris Version Manager☆16Feb 23, 2025Updated last year
- Make memes right in your terminal.☆11Jan 9, 2022Updated 4 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆17Nov 9, 2019Updated 6 years ago
- AVR Simulator to run Atmel code on desktop pc☆14Oct 2, 2017Updated 8 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- simple libary for functional programing paradigm with arrays.☆11May 27, 2022Updated 3 years ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- ☆22Apr 12, 2024Updated last year
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated last month
- A PCRE2 compatible regular expression engine written in Lean 4.☆19Feb 27, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- The Haskell implementation of the Milho programming language.☆29Jul 17, 2023Updated 2 years ago
- ☆22Nov 23, 2023Updated 2 years ago
- Free alternative of MegaHack v6-PRO☆10Jan 9, 2022Updated 4 years ago
- 🐒 The Blow Your Mind Conference☆15Dec 21, 2025Updated 3 months ago
- Harmonize with coworkers around GitHub reviewing.☆23Mar 6, 2026Updated 3 weeks ago
- ☆19Oct 5, 2023Updated 2 years ago
- Tool to generate markdown files from lean files. This is heavily inspired by lean2md.☆24Updated this week
- Toy programming language☆20May 18, 2024Updated last year
- 🧰🚀 Cross-shell prompt framework☆11Sep 5, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- PoC for CVE-2021-3129 (Laravel)☆12Oct 9, 2021Updated 4 years ago
- ☆24Mar 22, 2026Updated last week
- ☆25Jun 24, 2021Updated 4 years ago
- Collaborative repository to catalogue insecure functions in various programming languages.☆11May 9, 2022Updated 3 years ago
- GitHub API but cached and offline-able.☆11Nov 11, 2017Updated 8 years ago
- Chess in Lean 4☆32Feb 14, 2026Updated last month
- ~ ✨ in the works ✨ ~ A simple "coming soon" site for web-projects under my work.☆11Updated this week