Render, select coordinates, export to video and more.
☆13Apr 28, 2024Updated last year
Alternatives and similar repositories for Fractal-Toolkit
Users that are interested in Fractal-Toolkit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Bachelor's thesis 2019☆12Jun 3, 2023Updated 2 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago
- ☆15Dec 26, 2022Updated 3 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- A simple induction and BMC engine.☆24May 16, 2022Updated 3 years ago
- Multifarious x86-64 ELF binary that can be built once and run on six different *nix variants. Behaves differently if running on Linux, BS…☆17Aug 23, 2014Updated 11 years ago
- ☆12Jan 4, 2024Updated 2 years ago
- Stuff to put a FPGA in a Macintosh IIsi☆16Mar 29, 2026Updated 2 weeks ago
- Arch Linux ARM packages for ThinkPad X13s☆14Mar 18, 2023Updated 3 years ago
- ☆14Nov 16, 2022Updated 3 years ago
- "operating system" based on the calculus of constructions☆18Jun 22, 2022Updated 3 years ago
- Free Oberon Compiler☆17Jun 25, 2024Updated last year
- 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.
- The Micron Programming Language Specification☆25Feb 1, 2026Updated 2 months ago
- Build scripts for NVIDIA 340.108 drivers on Linux 6.0+☆15Dec 10, 2024Updated last year
- es4 clone☆27Feb 27, 2014Updated 12 years ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- System for booting multiple diskless machines with a central root FS☆17Dec 21, 2023Updated 2 years ago
- Winnie - An experimental window system (Last demo: https://www.youtube.com/watch?v=UyIRXdbtlkM http://i.imgur.com/mX6BTnr.jpg)☆30Apr 23, 2013Updated 12 years ago
- A multithreaded tree-sitter parsing library.☆11Dec 31, 2023Updated 2 years ago
- A cost-reduced 65816-compatible retrocomputer☆28Mar 17, 2024Updated 2 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.
- A compiled-OPL interpreter for iOS written in Lua☆21Mar 15, 2026Updated last month
- Haskell to brainfuck compiler☆31May 11, 2014Updated 11 years ago
- PlusD Clone for all ZX Spectrum computers, based on the designs by @Pachuquin & @alvaroalea.☆17Aug 6, 2025Updated 8 months ago
- 🌌 gleam gemini server library☆11Nov 27, 2024Updated last year
- Liquid Types implementation for Rust☆30Sep 30, 2022Updated 3 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- ☆23Oct 31, 2020Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Github project where I track everything related to my thesis☆28Sep 2, 2016Updated 9 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.
- ☆11Mar 17, 2024Updated 2 years ago
- A DSL for parsing and assembling binary data.☆14Mar 2, 2026Updated last month
- The Spire Programming Language☆59Oct 23, 2014Updated 11 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Code and software "archive" for the CP/M operating system created from 1979-1984☆55Sep 10, 2025Updated 7 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Code sample for "Reading files the hard way Part 3"☆12Mar 11, 2023Updated 3 years ago