a faithful TI-BASIC implementation
☆34Dec 31, 2018Updated 7 years ago
Alternatives and similar repositories for pitybas
Users that are interested in pitybas are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Calculator programs I wrote in secondary school, and an emulator to run them on☆12Nov 20, 2013Updated 12 years ago
- ☆12May 18, 2023Updated 3 years ago
- Easy, flexible C unit testing☆11Feb 13, 2016Updated 10 years ago
- Script for converting workflowy json into roam import json☆10Dec 11, 2022Updated 3 years ago
- A random grab-bag of things.☆16Mar 13, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Demo app for my ray tracing engine☆17Jan 30, 2021Updated 5 years ago
- A tool written in Python that converts indented BASIC programs into a numbered lines style.☆15Aug 5, 2018Updated 8 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- A visualization tool to use alongside testing-library☆15Jan 19, 2023Updated 3 years ago
- ☆13Jan 7, 2026Updated 8 months ago
- an implementation of Evolution for a course on Sw Dev☆10May 9, 2016Updated 10 years ago
- a DOS network redirector to allow access to VirtualBox's shared folders as a normal drive. Fork of Eduardo Casino's vbsmount.☆12Feb 4, 2017Updated 9 years ago
- [DEPRECATED] Butterfly is a C library that implements a very simple 'dynamic' data-type. It could be used, for example, to manipulate JSO…☆15Apr 11, 2011Updated 15 years ago
- 1990s-style graphical effects for MS-DOS☆10Sep 25, 2024Updated last year
- AI Agents on 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.
- A clib package for the makeheaders command http://www.hwaci.com/sw/mkhdr/☆14Dec 11, 2014Updated 11 years ago
- Place where you can raise a bug and search for bugs or suggestions, so it's easier for us to help you :)☆14May 23, 2019Updated 7 years ago
- Brainfuck JIT VMs☆17Apr 26, 2020Updated 6 years ago
- Automatically exported from code.google.com/p/42tiny-js☆14May 1, 2025Updated last year
- Verified NbE via gluing in Agda☆11May 19, 2024Updated 2 years ago
- My C projects☆16May 27, 2022Updated 4 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 8 months ago
- A compiler that translates a form of lambda calculus to C☆12Apr 21, 2024Updated 2 years ago
- Session types framework with support of protocol pipelining.☆16Aug 24, 2026Updated 2 weeks 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.
- Generates CMSIS-SVD xml files from DTS info and Register templates☆12Apr 4, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- A simple implementation of an "Error" [pseudo-]monad for Ruby.☆16Dec 29, 2015Updated 10 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Jun 24, 2013Updated 13 years ago
- Experimentation project☆17Feb 18, 2014Updated 12 years ago
- Turns your Python script or module into an application with decent CLI.☆11Jan 22, 2025Updated last year
- ☆20Apr 21, 2012Updated 14 years ago
- Microscopic Rebol Dialect ("mooshed") for Code Golf☆30Nov 27, 2023Updated 2 years ago
- A utility for parsing magic cards into a JSON structure for further processing.☆27Jul 12, 2023Updated 3 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.
- An iPhone-based cough button for your Mac using PHP and MuteMyMic☆18Oct 24, 2012Updated 13 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Feb 23, 2018Updated 8 years ago
- A TSR application that allows for sending "push notifications" to MS-DOS!☆16Sep 29, 2021Updated 4 years ago
- weak references in node.js☆17Jan 11, 2012Updated 14 years ago
- My racket things☆22Feb 2, 2012Updated 14 years ago
- Turn Haskell expressions into pointfree style in your browser with WASM☆13Dec 15, 2024Updated last year
- Very simpleified clone of Midnight Commander☆15Dec 5, 2025Updated 9 months ago