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 π¦β19Dec 5, 2023Updated 2 years ago
- V8 for Luaβ13Oct 18, 2014Updated 11 years ago
- Compiles (La)TeX code to responsive SVGsβ11Apr 28, 2023Updated 3 years ago
- WebAssembly made easyβ46Mar 8, 2023Updated 3 years ago
- β19May 22, 2020Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive β’ AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Cram arbitrarily large data into multiple streaming QR-codesβ23Jul 31, 2026Updated 3 weeks ago
- Experimental wasm linkerβ43Dec 19, 2022Updated 3 years ago
- Levenshtein edit distance, packaged for ATSβ12Apr 11, 2022Updated 4 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
- Tool to create apis using json schema for validation and sql for data manipulationβ11Jun 13, 2016Updated 10 years ago
- An epoll-based HTTP library for ATS2β14Dec 27, 2022Updated 3 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
- Teaching implementation of the TurboPFor integer compression algorithmβ23Aug 9, 2026Updated 2 weeks 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.
- An app for adding licenses to projectsβ11Mar 13, 2018Updated 8 years ago
- The first OpenSource Mafia Bot!β11Oct 5, 2023Updated 2 years ago
- Palm Pilot PalmOS Software Development Books and Reference Documentsβ25Jul 13, 2020Updated 6 years ago
- Block and form builder for Blazorβ13May 1, 2025Updated last year
- A dynamic online PDF form builder fully based on Blazor.β12Jun 8, 2026Updated 2 months ago
- Clojure client for Open Policy Agentβ14Dec 12, 2025Updated 8 months ago
- β36Apr 14, 2022Updated 4 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITEβ14Oct 9, 2023Updated 2 years ago
- Π ΡΡΠΈΡΠΈΠΊΠ°ΡΠΎΡ Π΄Π»Ρ System Shock 2β13Mar 21, 2026Updated 5 months 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.
- Roslyn analyzers for stricter codeβ12Nov 30, 2025Updated 8 months ago
- β11Nov 10, 2023Updated 2 years ago
- Emperical measurements of pg_trgm performance at scaleβ12Feb 21, 2021Updated 5 years ago
- T-Sql type checker that detects improper joins, invalid null value operations, enumeration check constraint violations, incorrect use of β¦β12May 14, 2018Updated 8 years ago
- gRPC mocks with Jsonnetβ13Mar 25, 2025Updated last year
- Set of utilities to power up your development with webonyx/graphqlβ13Aug 20, 2026Updated last week
- Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.β14Feb 26, 2014Updated 12 years ago
- WebAssembly module signing & signature verificationβ15Sep 29, 2022Updated 3 years ago
- A GitHub action that allows users to subscribe to a label and automatically get @'d when the label is appliedβ12Jul 18, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- old - now lives in https://github.com/concourse/concourseβ11Mar 24, 2022Updated 4 years ago
- Language server protocol implementation for VSCode. This allows implementing language services in JS/TS running on Deno.β11May 7, 2020Updated 6 years ago
- Quake 2/3 AAS navmesh viewerβ10Jun 27, 2024Updated 2 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASIβ15Jun 7, 2023Updated 3 years ago
- A small Linux sandboxβ24Jul 21, 2026Updated last month
- Terminal UI for Tilt.dev, inspired by lazygitβ24Aug 23, 2026Updated last week