A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
☆16Jan 31, 2016Updated 10 years ago
Alternatives and similar repositories for ivy
Users that are interested in ivy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Consul balancer for Openresty/Nginx☆10Nov 12, 2024Updated last year
- V8 for Lua☆13Oct 18, 2014Updated 12 years ago
- ☆16May 22, 2020Updated 6 years ago
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 4 years ago
- library for asynchronous processing in LuaJIT☆15Jul 28, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple, elegant, profunctorial, applicative validation for product types!☆18Aug 25, 2021Updated 5 years ago
- Rebar3 plugin to build Rust crates (unmaintained). See https://github.com/filmor/rebar3_rust/tree/update for more recent work.☆10Sep 26, 2018Updated 8 years ago
- all the fun stuff that windows has to offer☆12Jan 23, 2021Updated 5 years ago
- Cross platform IO engine and timer for Nim.☆25Nov 26, 2024Updated last year
- Wide World of Actors, or, Can I Have an Erlang Pony?☆12Mar 19, 2018Updated 8 years ago
- Stacky ☆ BEAM stack trace in Gleam: a stack trace of stack frames with module name, function name, arity, file name and line numb☆11Jun 6, 2024Updated 2 years ago
- Xcode/IB-like inspector class for OSX☆15Nov 3, 2014Updated 11 years ago
- An app for adding licenses to projects☆11Mar 13, 2018Updated 8 years ago
- Military Forces, a game that allows a player to control planes, helicopters, tanks or infantry. It is based on the Quake 3 engine.☆11Updated this week
- 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.
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- Emperical measurements of pg_trgm performance at scale☆12Feb 21, 2021Updated 5 years ago
- C code with macros in Racket☆10Dec 19, 2015Updated 10 years ago
- Eliminates boilerplate code involved with an NSFetchedResultsController and a UITableView.☆13Jan 19, 2014Updated 12 years ago
- old - now lives in https://github.com/concourse/concourse☆11Mar 24, 2022Updated 4 years ago
- simple c++ wrapper on unqlite api☆12May 21, 2021Updated 5 years ago
- A curated list of source ports/tools and plugins, for idTech4 Games☆15Mar 18, 2026Updated 7 months ago
- An epoll-based HTTP library for ATS2☆14Dec 27, 2022Updated 3 years ago
- Block and form builder for Blazor☆13May 1, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Quake 2/3 AAS navmesh viewer☆10Jun 27, 2024Updated 2 years ago
- WebAssembly module signing & signature verification☆14Sep 29, 2022Updated 4 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 3 years ago
- Standalone XQuery and SQL Implementation in .NET☆12Apr 27, 2023Updated 3 years ago
- Fast assembler for Quake3 Arena QVM☆15May 9, 2021Updated 5 years ago
- Core Data like framework for Cappuccino☆11May 4, 2019Updated 7 years ago
- Tiny Objective-C library for creating curved connection lines between nodes.☆13Feb 8, 2014Updated 12 years ago
- ☆10Oct 25, 2021Updated 5 years ago
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 8 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.
- 🖥️ Connect any GUI client to in-browser Postgres database☆14Nov 19, 2024Updated last year
- MOVED TO CODEBERG minimal live coding dsp with assemblyscript☆16Aug 23, 2025Updated last year
- A Bipedal Gait Generation Library Using Equilibria and Numerical Continuation Methods. For example gaits, visit https://nr-codes.github.…☆12Jul 15, 2021Updated 5 years ago
- Passive TCP Latency Analysis via Circonus histograms☆12Jul 7, 2013Updated 13 years ago
- HTTP bindings for Irmin in Go☆17Jun 17, 2016Updated 10 years ago
- An alternative to LinkedList<T> with reverse operation and enumeration without allocation.☆17Sep 10, 2023Updated 3 years ago
- A small Linux sandbox☆26Jul 21, 2026Updated 3 months ago