Explorations in area of programming languages: concepts, typing, formal verification
☆18Feb 9, 2022Updated 4 years ago
Alternatives and similar repositories for zygote
Users that are interested in zygote are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Proposal - BishBosh - A domain specific language for writing command line interfaces☆13Jul 22, 2017Updated 8 years ago
- Pixie is a C# library for beautiful and portable console output formatting/typesetting.☆23May 1, 2026Updated 2 months ago
- Context Free Channel - All about programming languages☆12Oct 30, 2024Updated last year
- Implement a Stack VM Interpreter with a Register Window☆12Jan 2, 2024Updated 2 years ago
- ☆17Sep 25, 2024Updated last year
- 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.
- A bittorrent filesystem based on FUSE, optimized to run OS from remote disk☆12May 8, 2026Updated 2 months ago
- A modern spin-off of the timeless Desktop Destroyer game developed by Miroslav Němeček☆10Dec 29, 2020Updated 5 years ago
- The Neverhood Restoration Project by Pyroneous.☆15Jun 13, 2013Updated 13 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- Completed nested geo objects from OSM-PBF. Saving RAM and caching the results.☆14Sep 27, 2022Updated 3 years ago
- ☆11Jun 3, 2022Updated 4 years ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- A template tool with no dependencies that works like Helm templates or Consul templates.☆17Mar 3, 2026Updated 4 months ago
- My own Forth dialect on top of the Lua programming language. [Work in Progress]☆15Jun 20, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Monorepo for Vertex UI Components.☆14Updated this week
- Portfolio, time tracker and exocortex. No-JS by JS from JS.☆14Aug 27, 2024Updated last year
- The fastest way to build a language☆41Jan 4, 2022Updated 4 years ago
- A cross-platform implementation of the Immix Garbage Collector☆78May 31, 2014Updated 12 years ago
- A Clojure library for writing difference equations☆13Jul 15, 2017Updated 9 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- The greatest view engine for the modern web☆16Jul 1, 2026Updated 2 weeks ago
- A JVM AOT☆16Jan 25, 2017Updated 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.
- A TypeScript adapter to allow breezejs to work with an OData 4 API.☆17Mar 4, 2023Updated 3 years ago
- A library to create oData queries.☆10Nov 28, 2018Updated 7 years ago
- rest service + frontend to align sentences , in rust☆13May 10, 2018Updated 8 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆11Dec 11, 2020Updated 5 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- ☆16Jun 19, 2026Updated last month
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 2 years ago
- Clone of www.stockfighter.io server☆14Mar 20, 2016Updated 10 years ago
- Webgpu experiments☆10Jul 3, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- I/O Multiplexing for Linux and OSX (BSD)☆14May 14, 2014Updated 12 years ago
- A C implementation of the Ramer-Douglas-Peucker path simplification algorithm☆13Sep 5, 2015Updated 10 years ago
- Asset repository for GDNative Oculus drivers☆11Apr 25, 2020Updated 6 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 3 years ago
- ngspicejs script that finds new LC oscillator topologies☆16Updated this week
- A mod for Mario Kart 64 that greatly enhances Battle Mode☆13Mar 23, 2025Updated last year
- Library, command-line tool, and Grunt task for merging multiple source maps from compilation phases into a single source map.☆14May 19, 2021Updated 5 years ago