krcz / zygoteView external linksLinks
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
Sorting:
- A little Forth-like language implemented in Clojure☆21Mar 27, 2020Updated 5 years ago
- A client for the Lacuna Expanse☆43Nov 22, 2019Updated 6 years ago
- Tcl Static Prime☆67Aug 11, 2015Updated 10 years ago
- Probabilistically split concatenated words using NLP based on English Wikipedia unigram frequencies.☆14Sep 2, 2022Updated 3 years ago
- Photonic and metamaterials calculations☆13Jan 2, 2026Updated last month
- ☆43Oct 25, 2020Updated 5 years ago
- Static site for big five personality tests☆10Updated this week
- A bittorrent filesystem based on FUSE, optimized to run OS from remote disk☆12Sep 7, 2025Updated 5 months ago
- A virtual machine for building and running retro games☆10Mar 8, 2018Updated 7 years ago
- Small Angular/Azure/Asp MVC/SignalR demo☆26Aug 18, 2014Updated 11 years ago
- Translate a subset of C to Verilog☆11May 8, 2019Updated 6 years ago
- This is reverse engineered ExpressVPN authentification in iOS client☆12Aug 25, 2021Updated 4 years ago
- A python client for the devtools protocol☆17Apr 7, 2025Updated 10 months ago
- Simpe AWS lambda function to create a timelapse using a NetGear Arlo Pro Camera and ffmpeg.☆12Dec 8, 2022Updated 3 years ago
- Agency-level data current to September 30, 2015. Source: Department of Defense, Defense Logistics Agency.☆16Feb 21, 2016Updated 9 years ago
- The OpenLink interactive SPARQL Query Builder☆10Jan 5, 2021Updated 5 years ago
- Measure web page performance metrics with ease.☆12Nov 2, 2018Updated 7 years ago
- A file encryption utility written in C using libsodium☆11Jan 16, 2018Updated 8 years ago
- Ein Einsteiger-Tutorial für das STM32F4 discovery board in Codeform.☆21Jun 15, 2012Updated 13 years ago
- a basic peniscoin miner in python☆11Jun 12, 2014Updated 11 years ago
- A Disco worker written in Golang☆19Jan 8, 2015Updated 11 years ago
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.☆11Dec 10, 2019Updated 6 years ago
- Forward messages to collaborators in East-oriented style.☆14Oct 18, 2025Updated 3 months ago
- Implementation of COO, CSR, CSC, SSS and TJDS sparse matrix formats.☆11Jul 15, 2015Updated 10 years ago
- Geometric compactness scores for political redistricting. MIT CSAIL and Tufts Metric Geometry and Gerrymandering Group.☆12Nov 2, 2023Updated 2 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Use LD_PRELOAD to redirect socket ports or unix domain socket paths☆12Sep 29, 2020Updated 5 years ago
- A compiler for a Standard-ML like language that generates code suitable for embedded computers.☆11Jul 10, 2023Updated 2 years ago
- A clean Java/Clojure interop project☆10May 6, 2020Updated 5 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- I/O Multiplexing for Linux and OSX (BSD)☆14May 14, 2014Updated 11 years ago
- PGx supports proteogenomic intregration of mass spectrometry (MS) proteomics data with next generation sequencing (NGS) by mapping identi…☆10Jul 9, 2024Updated last year
- Code to create a sqlite db from USDA nutrition database☆15Nov 18, 2016Updated 9 years ago
- Linux /proc data in a consistent, parsed format.☆10Mar 28, 2016Updated 9 years ago
- Chrome Extension boilerplate with SolidJS + Vite + CRXJS☆12Oct 28, 2022Updated 3 years ago
- Text diffing in zig☆14Feb 15, 2023Updated 3 years ago
- Patiencediff implementation☆16Jan 1, 2026Updated last month
- Monorepo for Vertex UI Components.☆13Jan 28, 2026Updated 2 weeks ago
- Document ready listener for browsers☆14Feb 3, 2020Updated 6 years ago