Systems programming language designed for safe and predictable code, with semantics defined by a small core calculus formalized and proven sound in Lean
☆17Nov 7, 2026Updated this week
Alternatives and similar repositories for concrete2
Users that are interested in concrete2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writ…☆19Aug 15, 2023Updated 3 years ago
- Open-source 2D & 3D structural analysis in the browser. Direct Stiffness Method, real-time solving, no installation required.☆116Updated this week
- minimal lisp that compiles to x86☆10Mar 19, 2017Updated 9 years ago
- ☆17Updated this week
- Tekton is a self-hosted platform for running background AI coding agents at scale. The goal is infrastructure that builds things for you.☆27Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Multiplayer 2D physics engine, matchmaking, market and leaderboard for 2D and 3D Games☆77May 14, 2025Updated last year
- cairo-vm_in_go is a Go implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for wr…☆56Apr 30, 2024Updated 2 years ago
- The most comprehensive open-source collection of long-run financial and economic data. 27 sources, 1,100+ files, ~240 countries, 1 CE-202…☆14Updated this week
- An implementation of the Austral language compiler in Rust☆16Apr 25, 2024Updated 2 years ago
- A wgpu powered terminal emulator, pronounced "cutie"☆32Aug 3, 2026Updated 3 months ago
- Rexial - An open-source real-time quiz platform — host a live quiz, share a code, watch the leaderboard move as people answer. Hosts can …☆22Updated this week
- Convert your Felt into a String☆11Jul 14, 2025Updated last year
- EraVM implementation☆19Sep 5, 2024Updated 2 years ago
- Containerized environment for running pi-coding-agent with auditability on macOS and Linux☆12Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Windows file time library for Rust☆13Updated this week
- dotfiles, cli, tools, apps, editor settings, ai stuff, browser extensions☆12Updated this week
- My dot files☆14Apr 2, 2025Updated last year
- A cross-platform Matrix client written in Rust, with the GPUI rendering library☆17Oct 23, 2026Updated 2 weeks ago
- Prosopo.io solver☆10Mar 11, 2025Updated last year
- music in the shell☆13Oct 22, 2025Updated last year
- A lightweight self-hosted status monitoring tool, written in Rust.☆13Updated this week
- build script for android applications and operating system based on android☆15Updated this week
- robertfoster's PKGBUILD☆12Updated this week
- 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.
- An experimental evolution of Ratatui’s built-in Table widget☆19Oct 31, 2026Updated last week
- My Claude Code config, versioned in place at ~/.claude: skills for code review, issue triage, and releases, plus subagents, hooks, rules,…☆14Updated this week
- A Text-to-Speech node package with pinyin audio library.☆12Oct 30, 2026Updated last week
- An elixir based customizable hipchat bot☆12Feb 26, 2016Updated 10 years ago
- Nix overlay for Cairo☆11May 8, 2024Updated 2 years ago
- Official PiG Piglets: pig-with-batteries, pig-core and more for pi-in-go.dev☆18Updated this week
- High-Speed Nemesis & FNIS Patcher + .hkx development tools☆12Updated this week
- ☆11Jul 7, 2020Updated 6 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Aug 4, 2023Updated 3 years 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.
- Tools for Crypto.org Chain wallet management and offline transaction signing☆10Mar 6, 2023Updated 3 years ago
- Command line utility for solution and project generation similar to premake5 or cmake☆10Oct 4, 2024Updated 2 years ago
- My blog☆15Updated this week
- [BMVC 2025] C³-GS: Learning Context-aware, Cross-dimension, Cross-scale Feature for Generalizable Gaussian Splatting☆11May 26, 2026Updated 5 months ago
- Qwen3.8-27B on One RTX 3090: 14 hours of measurements. Vision crash fix, VRAM math, MTP tuning, quantisation comparison, and 9 pieces of …☆13Aug 17, 2026Updated 2 months ago
- A small, embeddable Python 3 Interpreter written in C11.☆22Updated this week
- Voxel Storage and Volume Rendering Libraries☆10Jun 19, 2011Updated 15 years ago