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:
- A little Forth-like language implemented in Clojure☆22Mar 27, 2020Updated 6 years ago
- Proposal - BishBosh - A domain specific language for writing command line interfaces☆13Jul 22, 2017Updated 8 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 5 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 📜Curriculum vitae☆10May 2, 2026Updated last month
- A package to programmatically manipulate source maps.☆16Dec 11, 2024Updated last year
- Broken links checker for website pages☆13Feb 11, 2018Updated 8 years ago
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Dec 22, 2019Updated 6 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- JSON schema validator☆12Jun 13, 2018Updated 8 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- data-metrics is a data-attribute that allows you to easily track Google Analytics metrics in your HTML page.☆31Feb 25, 2014Updated 12 years ago
- Mozilla Hispano site files☆27Jul 22, 2020Updated 5 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.
- Portfolio, time tracker and exocortex. No-JS by JS from JS.☆14Aug 27, 2024Updated last year
- Exercises and notes from Structure and Interpretation of Computer Programs☆12Apr 10, 2022Updated 4 years ago
- An alignment-free approach to estimating exon-inclusion ratios without a reference transcriptome☆10Jan 25, 2019Updated 7 years ago
- This is a tutorial for creating a pretty printer in JavaScript☆13Feb 27, 2018Updated 8 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- ☆15Sep 28, 2022Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Tools for communicating with runit / daemontools supervisors. Based on ajdiaz's https://gist.github.com/607678☆16Jul 7, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- GCounter CRDT Implemented in Go & Docker☆15Sep 5, 2020Updated 5 years ago
- ☆12Jan 14, 2021Updated 5 years ago
- z3-powered solver (theorem prover) for deal☆18Sep 28, 2023Updated 2 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- ☆15Jun 19, 2026Updated last week
- Webgpu experiments☆10Jul 3, 2022Updated 3 years ago
- A unidirectional value-based JSON codec library.☆15Oct 9, 2023Updated 2 years ago
- ☆22Oct 30, 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.
- A C implementation of the Ramer-Douglas-Peucker path simplification algorithm☆13Sep 5, 2015Updated 10 years ago
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- A 3D character controller built with React Three Fiber, Rapier physics.☆37May 14, 2025Updated last year
- Lazy load multiple vanilla custom-element micro-frontend (MFEs) applications within a shell/host application using the Module Federation …☆11Oct 5, 2020Updated 5 years ago
- This is a boilerplate example of how to write c++ code and translate it using emscripten into javascript. Then using a typescript declara…☆16Sep 1, 2024Updated last year
- codemirror component extracted from svelte-repl☆12Jan 4, 2023Updated 3 years ago
- Various "bit juggling" helpers and functionality☆16Jun 22, 2026Updated last week