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:
- Create a single-file cross-platform server within an executable ZIP, powered by redbean π¦β18Dec 5, 2023Updated 2 years ago
- β12Nov 25, 2022Updated 3 years ago
- Compiles (La)TeX code to responsive SVGsβ11Apr 28, 2023Updated 3 years ago
- WebAssembly made easyβ46Mar 8, 2023Updated 3 years ago
- Proof of concept demo for using HTML fragments as a transfer format between the client and server.β20Jan 24, 2023Updated 3 years ago
- 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.
- Cram arbitrarily large data into multiple streaming QR-codesβ22Oct 3, 2019Updated 6 years ago
- An alternative UI for vAmigaWeb with realtime memory inspectionβ18Jun 26, 2024Updated last year
- β19May 22, 2020Updated 6 years ago
- A WiiU patcher to replace the gamepad input with the gamecube adapterβ16Oct 9, 2015Updated 10 years ago
- JSON Web Token for redbeanβ25Jul 3, 2024Updated last year
- micro-CMS built with redbeanβ30Feb 8, 2026Updated 4 months ago
- Simple, elegant, profunctorial, applicative validation for product types!β19Aug 25, 2021Updated 4 years ago
- β19May 24, 2017Updated 9 years ago
- A Python 2/3 package to write m68k system emulatorsβ18Aug 13, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- One-stop Visual Studio Code Extension to compile, debug and profile Amiga C/C++ programs compiled by the bundled gcc 12.2 with the bundleβ¦β19Jan 14, 2026Updated 4 months ago
- Experimental wasm linkerβ43Dec 19, 2022Updated 3 years ago
- Zig Vala - Toolchain & Build System Integrationβ15Jan 28, 2022Updated 4 years ago
- Wide World of Actors, or, Can I Have an Erlang Pony?β12Mar 19, 2018Updated 8 years ago
- Standalone XQuery and SQL Implementation in .NETβ12Apr 27, 2023Updated 3 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 7 years ago
- Cross platform IO engine and timer for Nim.β25Nov 26, 2024Updated last year
- Fastest HTTP parser in the west. Utilizes SIMD vectorization, supports streaming and never allocates. Powered by Zig β‘β34Oct 24, 2025Updated 7 months ago
- Official codebase for the ACL 2025 Findings paper: Optimized Text Embedding Models and Benchmarks for Amharic Passage Retrieval.β21Jul 26, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean β’ AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Palm Pilot PalmOS Software Development Books and Reference Documentsβ22Jul 13, 2020Updated 5 years ago
- The Simple OS - based on the Forth programming languageβ17Mar 17, 2026Updated 2 months ago
- C library for writting plugins on the NTR CFW 2.0.β18Mar 23, 2015Updated 11 years ago
- Auto generate AS.NET core OData v4 controllers from an EF code first modelβ10Apr 26, 2017Updated 9 years ago
- Clojure client for Open Policy Agentβ13Dec 12, 2025Updated 5 months ago
- Relational algebra implementation in Agda with simple bindings to SQLITEβ14Oct 9, 2023Updated 2 years ago
- β36Apr 14, 2022Updated 4 years ago
- Next incarnation of bitmapist: powerful analytics and cohort library using Redis bitmapsβ23Feb 1, 2022Updated 4 years ago
- Lemon is an LALR(1) parser generator for C or C++.β17Jun 10, 2014Updated 11 years ago
- 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.
- Tool to create apis using json schema for validation and sql for data manipulationβ11Jun 13, 2016Updated 9 years ago
- Roslyn analyzers for stricter codeβ12Nov 30, 2025Updated 6 months ago
- Remove encryption systems used to protect Atari ST programsβ21Nov 14, 2017Updated 8 years ago
- Sneaky equality check between objects using proxiesβ13Jan 19, 2023Updated 3 years ago
- gRPC mocks with Jsonnetβ13Mar 25, 2025Updated last year
- β11Nov 10, 2023Updated 2 years ago
- WebAssembly module signing & signature verificationβ15Sep 29, 2022Updated 3 years ago