☆12Jan 17, 2026Updated 9 months ago
Alternatives and similar repositories for joc
Users that are interested in joc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- Exercises Galois theory D. Cox☆13Jun 29, 2023Updated 3 years ago
- Mirror. Canonical repository available at https://git.cedarcrypt.org.☆28Oct 20, 2026Updated 3 weeks ago
- Implementing and breaking the MT19937 Mersenne Twister pseudorandom number generator☆35Mar 31, 2020Updated 6 years ago
- A formally verified symbolic cryptography library for Lean☆21Feb 18, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17Dec 3, 2023Updated 2 years ago
- Blender 5.0 addon Import/Export XPS Models, Poses☆22Sep 8, 2026Updated 2 months ago
- ☆12Jul 29, 2026Updated 3 months ago
- A monorepo for vOPRF-based secure nullifiers☆24Apr 13, 2025Updated last year
- Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers☆18Aug 1, 2025Updated last year
- ☆32Mar 31, 2026Updated 7 months ago
- Demonstration of how we can use tessellation shaders to make faster fragment shaders.☆17Jun 20, 2016Updated 10 years ago
- A collection of tutorials, projects and cheat sheets for learning various aspects of development on ICP☆12Aug 31, 2025Updated last year
- Simple example of motoko outcalls☆10Aug 21, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This ofxAlembic only supports windows 10 and 64bit (Release)☆10Jun 7, 2019Updated 7 years ago
- Rule-based statement importer and reconciler for Beancount☆18Oct 30, 2026Updated last week
- Trinity is a two-party computation (2PC) protocol designed to minimize interaction rounds, enable input verifiability, and facilitate reu…☆27Aug 8, 2025Updated last year
- ☆10Jun 26, 2019Updated 7 years ago
- Computable Polynomials in Lean.☆49Updated this week
- ☆13Jul 31, 2026Updated 3 months ago
- Productivity and analysis tools for online marketing☆10Aug 31, 2017Updated 9 years ago
- pastebin go-implementation☆10Apr 12, 2022Updated 4 years ago
- ☆38Oct 7, 2026Updated last month
- 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.
- cross compatible GL/GLES shaders to be tweaked in realtime☆14Feb 23, 2020Updated 6 years ago
- a VJ set using motifs like mass solid substances☆10Nov 27, 2017Updated 8 years ago
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 6 months ago
- 2D Game Engine using Go and SFML☆10Oct 6, 2014Updated 12 years ago
- openFrameworks addon for running LLM inference directly in C++ using llama.cpp☆10May 23, 2026Updated 5 months ago
- ☆12Jan 31, 2021Updated 5 years ago
- Dark-Side is a dark GTK-theme for the gnome-desktop☆11May 28, 2018Updated 8 years ago
- ☆10May 7, 2019Updated 7 years ago
- Unofficial https://stacker.news client written in Flutter.☆16Aug 27, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Schema-first typed database and persistence runtime for Internet Computer canisters.☆18Updated this week
- 🏰 TypeScript typings for regl☆11Nov 11, 2016Updated 9 years ago
- Reaper MIDI OSC Faders for Android over LAN☆15Mar 11, 2025Updated last year
- Perl is shiny☆11Jul 27, 2023Updated 3 years ago
- An ssh-agent replacement that fetches SSH keys from the Pass password manager.☆11Oct 19, 2022Updated 4 years ago
- Command line tool to monitor and send OSC messages, written in c++/openFrameworks☆11Jul 29, 2024Updated 2 years ago
- A custom user.js script to configure Firefox user, privacy and security settings.☆11Oct 4, 2026Updated last month
Are these results useful?