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 PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 5 years ago
- Graphics/visualization with Red☆23Apr 1, 2025Updated 11 months ago
- Tcl Static Prime☆66Aug 11, 2015Updated 10 years ago
- dev tools for skema☆10Jul 6, 2022Updated 3 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 2 months ago
- Minimalist library for LLM usage☆13Sep 7, 2025Updated 6 months ago
- Seamlessly integrate svelte with vue, react with vite, react with cra, webpack and next.js too!☆11Dec 3, 2023Updated 2 years ago
- A python client for the devtools protocol☆17Apr 7, 2025Updated 11 months ago
- Static site for big five personality tests☆10Feb 28, 2026Updated last week
- This is reverse engineered ExpressVPN authentification in iOS client☆12Aug 25, 2021Updated 4 years ago
- lua command line interpreter for Android☆16Sep 17, 2015Updated 10 years ago
- maps are everything.☆10Jul 3, 2025Updated 8 months ago
- Simpe AWS lambda function to create a timelapse using a NetGear Arlo Pro Camera and ffmpeg.☆12Dec 8, 2022Updated 3 years ago
- A bittorrent filesystem based on FUSE, optimized to run OS from remote disk☆12Sep 7, 2025Updated 6 months ago
- Small Angular/Azure/Asp MVC/SignalR demo☆26Aug 18, 2014Updated 11 years ago
- A virtual machine for building and running retro games☆10Mar 8, 2018Updated 8 years ago
- A library to create oData queries.☆10Nov 28, 2018Updated 7 years ago
- Ludum Dare 47 - Jam☆12Dec 19, 2022Updated 3 years ago
- Summer Scheming!!!!!!☆11Aug 20, 2020Updated 5 years ago
- Inline annotation for the web in pure Javascript. Select text, images, or (nearly) anything else, and add your notes.☆10May 2, 2016Updated 9 years ago
- JavaScript Turtle Graphics☆13Mar 15, 2015Updated 10 years ago
- Search engine plugins for qBittorent☆14Feb 9, 2026Updated last month
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- ☆11Jun 7, 2019Updated 6 years ago
- Gradient noise generators in C (perlin and simplex)☆12Dec 18, 2012Updated 13 years ago
- List of technology user groups in RheinMain, in Markdown format☆10Oct 5, 2020Updated 5 years ago
- Challenging SAT benchmarks for matrix multiplication☆11Oct 28, 2021Updated 4 years ago
- Configuration for Emacs, Fish, Tmux, Git etc.☆49Mar 4, 2025Updated last year
- Code repository for the Variational Quantum State Diagonalization algorithm.☆14Aug 27, 2019Updated 6 years ago
- Rust implementation of Base64 VLQ for source maps☆18Oct 9, 2019Updated 6 years ago
- Code for implementing the quantum log-likelihood using PennyLane and TensorFlow.☆11Dec 10, 2019Updated 6 years ago
- ☆18Sep 27, 2022Updated 3 years ago
- Patiencediff implementation☆16Jan 1, 2026Updated 2 months ago
- PMML evaluator library for the PostgreSQL database (http://www.postgresql.org/)☆11Dec 17, 2014Updated 11 years ago
- A very basic webserver and REST key-value store☆22Sep 23, 2013Updated 12 years ago
- Portable pipestatus for UNIX/POSIX shells☆24Jan 8, 2021Updated 5 years ago
- Linux /proc data in a consistent, parsed format.☆10Mar 28, 2016Updated 9 years ago