Python but tov (good).
☆53Aug 19, 2020Updated 5 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 4 years ago
- USC GoFFish Graph Analytics Framework☆33Jul 10, 2014Updated 11 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- A library for recreational number theory in MIT Scheme.☆11Feb 2, 2013Updated 13 years ago
- An introductory tutorial for the Coq proof assistant.☆10Feb 5, 2019Updated 7 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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
- The STINGER in-memory graph store and dynamic graph analysis platform. Millions to billions of vertices and edges at thousands to millio…☆12Nov 10, 2015Updated 10 years ago
- Kagi AI client for Go.☆16May 4, 2024Updated last year
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- [WIP] Formal Specification for the Next Iteration of Reloaded☆15Mar 4, 2026Updated last month
- Apple 2 full screen clock driven by the pendulum of my wall clock☆25Jan 28, 2024Updated 2 years ago
- A fork of platec (https://github.com/Mindwerks/plate-tectonics) to fit the needs of RTWG (https://github.com/tarTG/RTWG)☆11Jan 18, 2017Updated 9 years ago
- text-to-speech notification☆33May 7, 2015Updated 10 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.
- Cluster computing using Stateful Dataflow Graphs☆26Jul 15, 2022Updated 3 years ago
- An optimizer for the SICP scheme → register machine compiler.☆13Jul 14, 2020Updated 5 years ago
- ICMoria - C language port of Imoria☆13Aug 13, 2017Updated 8 years ago
- A self-hosting Scheme to JavaScript compiler☆34Jan 1, 2010Updated 16 years ago
- chat bot framework in V☆14Feb 11, 2026Updated 2 months ago
- MelGAN and Tacotron 2 in PyTorch☆11Oct 22, 2019Updated 6 years ago
- A formally verified compiler of untyped lambda calculus to brainfuck☆16Aug 2, 2017Updated 8 years ago
- LLAMA Graph Analytics Engine☆42Sep 28, 2017Updated 8 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years 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.
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18May 12, 2021Updated 4 years ago
- Snap package for Spot, a native Spotify client for GNOME☆11May 21, 2025Updated 11 months ago
- Rate my game setup 😜☆11Oct 19, 2022Updated 3 years ago
- firmata firmware for the BGM111 co-processor on the balenaFin☆12Nov 16, 2022Updated 3 years ago
- C++ driver to evaluate updates in dynamic structural graphs☆19Jun 14, 2022Updated 3 years ago
- 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 3 years ago
- libopcodes-based (AT&T syntax) linear executable (MZ/LE/LX DOS EXEs) disassembler modified from http://swars.vexillium.org/files/swdisasm…☆24Aug 28, 2019Updated 6 years ago
- Script to patch EZ-Flash cheats database with the libretro-database cheats☆18Jun 8, 2025Updated 10 months ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Thought experiment: leveraging static typing instead of new data structures to enforce immutability in JavaScript with Flow annotations.☆12Nov 22, 2015Updated 10 years ago
- Build your own Rodak - portable Kodak Brownie powered by Raspberry Pi☆74Sep 29, 2018Updated 7 years ago
- The awesome dependency manager for AdvPL!☆13Feb 9, 2017Updated 9 years ago
- Command line calendar display with holidays☆13Apr 17, 2026Updated last week
- Attempt to parse developer behaviour and programming behaviours from VCS☆19Jun 25, 2016Updated 9 years ago
- A Common Lisp framework for the creation of electronic art, visual design, game prototyping, game making, computer graphics, exploration …☆12Nov 25, 2019Updated 6 years ago
- Secure auditing of Internet services with Intel SGX☆23Apr 30, 2021Updated 5 years ago