Proof of concept for using silly encodings for source files
☆21Apr 13, 2014Updated 12 years ago
Alternatives and similar repositories for pybraces
Users that are interested in pybraces are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Jan 11, 2015Updated 11 years ago
- The Megalodon interactive theorem prover and proof checker☆15Apr 14, 2024Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 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.
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago
- Study Guide for COS 418☆11May 24, 2017Updated 9 years ago
- a nodejs server that provides the api -> https://api.mobtranslate.com☆12Nov 19, 2023Updated 2 years ago
- A Scala equality saturation library☆21Sep 11, 2026Updated last month
- Declarative constraint-based structured drawing system in Perl (as per chapter 9 of "Higher-Order Perl")☆18Jan 1, 2014Updated 12 years ago
- Python ctypes bindings for libfap, the C port of the HAM::FAP Finnish APRS Parser☆11Apr 21, 2018Updated 8 years ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆21Oct 29, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- PonyMUD - A multiplayer text adventure game written in Pony☆11Aug 17, 2017Updated 9 years ago
- Simple Twitter API client using the new Deno framework sending authorized requests to the Twitter API.☆12Jun 22, 2022Updated 4 years ago
- Classic Doom2 game from ID software implementation in Nim programming language☆11Apr 1, 2016Updated 10 years ago
- Bindings to UNIX tuntap facilities☆23Jul 6, 2026Updated 3 months ago
- An extension for VS Code which provides support for the Nim language.☆13Sep 24, 2020Updated 6 years ago
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- An International Phonetic Alphabet (IPA) dictionary.☆11Dec 10, 2022Updated 3 years ago
- Use handlebar templates in tide☆10Jun 7, 2021Updated 5 years ago
- ojjson is a library designed to facilitate JSON interactions with Ollama, a large language api (LLM). It leverages the power of Zod for s…☆12Nov 7, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- THIS REPO IS OBSOLETE. Use☆10Jan 1, 2011Updated 15 years ago
- Fighting Non-determinism in C++ Compilers☆17Mar 13, 2019Updated 7 years ago
- 2D Hilbert curve coordinate encoder/decoder☆10Dec 13, 2017Updated 8 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 5 months ago
- a warper bottle use aiohttp base on Asyncio (PEP-3156)☆14May 23, 2014Updated 12 years ago
- Metal tech demo & screen saver☆32Nov 12, 2020Updated 5 years ago
- Python implementation code for The Dragon Book ( Compilers Principles, Techniques, & Tools )☆22Apr 2, 2020Updated 6 years ago
- A benchmark for standard libraries☆21Sep 23, 2023Updated 3 years ago
- an opengl wrapper/helper library☆11Sep 9, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Scala Powered Lisp☆12Jun 8, 2014Updated 12 years ago
- Race through breathtaking 3-D graphics with Futhark!☆14Apr 6, 2021Updated 5 years ago
- Disassembler Library for x86 and x86-64☆11Oct 13, 2022Updated 4 years ago
- nim language☆11Feb 21, 2023Updated 3 years ago
- ☆16May 6, 2017Updated 9 years ago
- ☆11Jun 22, 2023Updated 3 years ago
- A program that generates a cartoon and a caption using SVG paths and Markov chains☆10Nov 28, 2016Updated 9 years ago