Compiler for ManiT, a systems language whose native number system is balanced ternary (−1, 0, +1). Two backends: LLVM for native execution today, and T3ISA — a ternary instruction set with assembler and cycle-accurate emulator included.
☆22Sep 15, 2026Updated last month
Alternatives and similar repositories for maniTC
Users that are interested in maniTC 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 PCIe RTL implementation☆27Aug 16, 2026Updated 2 months ago
- Anor Londo Lighting Fix v1.1 – Enhances Anor Londo’s lighting by restoring missing light sources, improving shadows, and balancing bright…☆14Aug 11, 2025Updated last year
- ☆12Updated this week
- Source-available SystemVerilog RTL for a custom FPGA Ethernet datapath with ARP, IPv4, UDP, and specialized TCP transport control.☆42Jul 30, 2026Updated 3 months ago
- ☆18Sep 7, 2026Updated 2 months 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.
- AI hardware engineer☆13Updated this week
- A safe implementation of hazard pointers in rust☆13Jun 22, 2026Updated 4 months ago
- R1CS to Plonk transpiler☆11Jun 12, 2025Updated last year
- Box3D physics engine converted to Q48.16 fixed-point math: uniform 1/65536 resolution across a ±1.4e14 meter world with stable equilibriu…☆23Updated this week
- pyUFO is a Python library capable of projecting a general satellite field of view (FOV) on Earth surface.☆13Aug 4, 2025Updated last year
- ☆11Nov 17, 2025Updated 11 months ago
- Jolt with Basefold PCS over Goldilocks supported☆11Jul 22, 2024Updated 2 years ago
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆11Jun 13, 2026Updated 5 months ago
- ☆14Aug 8, 2026Updated 3 months ago
- 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.
- Sinatra plugin to enable markaby (.mab) template rendering☆10Apr 29, 2009Updated 17 years ago
- Flip flop setup, hold & metastability explorer tool☆52Jul 12, 2026Updated 4 months ago
- a ruby implementation of the IRC client protocol☆14Jan 30, 2016Updated 10 years ago
- Liminate is a prose-as-syntax language designed from the human end.☆16Oct 19, 2026Updated 3 weeks ago
- Zurfur is a programming language taking inspiration from C#, Golang and Javascript☆13Oct 28, 2026Updated 2 weeks ago
- A hypermedia oriented web server library☆14Jun 21, 2026Updated 4 months ago
- topology-aware RNA compiler built on MLIR☆20Sep 4, 2026Updated 2 months ago
- Code for the article series on building a Python compiler and interpreter☆15Feb 13, 2025Updated last year
- openENOC is an open-source Ethernet-based NoC for scalable MPSoC systems, using Layer-2 frame switching to connect CPUs, accelerators and…☆28Updated this week
- 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.
- An editor for EBNF grammars, used by Lark – parsing library for Python☆14Apr 25, 2019Updated 7 years ago
- See and review any Vivado / Zynq / PYNQ project: drill-down Vivado-style diagrams and clock-domain, constraint and overlay checks for AI …☆27Nov 1, 2026Updated last week
- Hardware Acceleration☆17Nov 1, 2026Updated last week
- Real-Time Mock Technical Interview Platform☆12Sep 2, 2025Updated last year
- 🏝️ Real-time multiplayer Catan board game built with React and Socket.io☆15Jan 1, 2026Updated 10 months ago
- A PoC to demo modifying cmdline of the child process dynamically. It might be useful against process log tracing, AV or EDR.☆40Dec 31, 2020Updated 5 years ago
- A realtime ray tracing engine in C++ with a proprietary math library, custom materials, and supporting transformations. More features and…☆10Dec 26, 2025Updated 10 months ago
- Gati Accelerates Your CNN Algorithms!☆29Jun 12, 2026Updated 5 months ago
- python-based eDSL for efficient Metal Shading Language code generation☆15Oct 5, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Native MacOS dictation that captures audio, transcribes speech, and formats it into clean text. It supports shortcuts, learning, and tone…☆11Feb 18, 2026Updated 8 months ago
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆24Updated this week
- Systemverilog and UVM exercises inspired by ziglings☆39Oct 26, 2026Updated 2 weeks ago
- A demo application for the django-shopify-auth package.☆15Dec 21, 2015Updated 10 years ago
- A low level Programing Language☆13Oct 17, 2026Updated 3 weeks ago
- Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target …☆40Updated this week
- Python Utilities to use Xilinx Vivado Tools from Python Scripts☆22Oct 18, 2020Updated 6 years ago
Are these results useful?