Python but tov (good).
☆53Aug 19, 2020Updated 6 years ago
Alternatives and similar repositories for pytov_old
Users that are interested in pytov_old 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 programming language with logic of Python, and syntax of all languages.☆17Jul 13, 2021Updated 5 years ago
- Collision & GFX Model Viewer for Travellers Tales PSX videogames☆16Jan 23, 2024Updated 2 years ago
- A port of the 70's great text adventure game for the Smart Response XE☆14Jul 21, 2023Updated 3 years ago
- A library for recreational number theory in MIT Scheme.☆10Feb 2, 2013Updated 13 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 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.
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Nov 30, 2018Updated 7 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- An optimizer for the SICP scheme → register machine compiler.☆13Jul 14, 2020Updated 6 years ago
- collaboration on work in progress☆15Mar 4, 2011Updated 15 years ago
- chat bot framework in V☆14Feb 11, 2026Updated 7 months ago
- Linux command line utility for the uDMX interface☆18Nov 30, 2022Updated 3 years ago
- ☆10Jan 9, 2016Updated 10 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators☆17Jan 7, 2023Updated 3 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.
- IRC bot for Hy☆23Nov 1, 2014Updated 11 years ago
- This gem provides FFI based Ruby bindings for the zstd (Zstandard) compression library.☆18Mar 21, 2019Updated 7 years ago
- text-to-speech notification☆33May 7, 2015Updated 11 years ago
- Device to capture EEG signals☆10Nov 23, 2020Updated 5 years ago
- Ada bindings for the notcurses text user interface library☆15Mar 6, 2023Updated 3 years ago
- IR Remote Controller for WS2812(or analog) LED Strip☆10Nov 28, 2022Updated 3 years ago
- ICMoria - C language port of Imoria☆13Aug 13, 2017Updated 9 years ago
- Initial code for Microsoft's PyBadge at PyCon 2020☆11Jun 7, 2021Updated 5 years ago
- 💵 Using word2vec to predict trends in cryptocurrency.☆15Apr 12, 2020Updated 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.
- ImageJ plugin suite for image feature extraction☆11Dec 17, 2015Updated 10 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆15Aug 2, 2017Updated 9 years ago
- Keep tabs on your fitness with this C64-themed smartwatch that wirelessly syncs data to your Commodore 64 computer.☆13Jul 18, 2022Updated 4 years ago
- Generate passwords and analyze their strength given physical limits to computation☆23Feb 25, 2023Updated 3 years ago
- PE (EXE) File Embed wrap, injection of DLL/ASI (based on pefrmdllembed)☆23Dec 25, 2024Updated last year
- A template project to build a C++/CMake/vcpkg based projects with IDE and GitHub Actions. Build is speed up with caching of artifacts.☆13May 24, 2022Updated 4 years ago
- Express numbers as string numerals☆20Oct 24, 2021Updated 4 years ago
- Build your own Rodak - portable Kodak Brownie powered by Raspberry Pi☆74Sep 29, 2018Updated 7 years ago
- A Rust recreation of the classic 1968 BASIC game Hammurabi with a modern TUI☆23Jun 18, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Script to patch EZ-Flash cheats database with the libretro-database cheats☆19Jun 8, 2025Updated last year
- libopcodes-based (AT&T syntax) linear executable (MZ/LE/LX DOS EXEs) disassembler modified from http://swars.vexillium.org/files/swdisasm…☆25Aug 28, 2019Updated 7 years ago
- ☆11Jan 23, 2020Updated 6 years ago
- Scheme macros for non-linear pattern matching with backtracking for non-free data types☆29Aug 29, 2019Updated 7 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- Repository for hosting the general AnyScript wiki☆14Jan 20, 2021Updated 5 years ago
- TensorFlow implementation of A Fast and Accurate Dependency Parser using Neural Networks☆16Jan 21, 2020Updated 6 years ago