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
Sorting:
- Nim GUI Library☆13Oct 19, 2021Updated 4 years ago
- Zsh patched to support Actually Portable Executables git://git.code.sf.net/p/zsh/code (upstream pending)☆16Jan 26, 2021Updated 5 years ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆30Apr 17, 2019Updated 6 years ago
- Create a single-file cross-platform server within an executable ZIP, powered by redbean 🦞☆18Dec 5, 2023Updated 2 years ago
- The Ixy user space network driver ported to Java 12☆22Feb 13, 2021Updated 5 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Aug 25, 2021Updated 4 years ago
- Palm Pilot PalmOS Software Development Books and Reference Documents☆20Jul 13, 2020Updated 5 years ago
- ☆18May 22, 2020Updated 5 years ago
- Simple one-stop tool to manage X.509/TLS certs and all the ACME CA authorization stuff☆21Jan 28, 2026Updated last month
- Cross platform IO engine and timer for Nim.☆25Nov 26, 2024Updated last year
- Experimental wasm linker☆43Dec 19, 2022Updated 3 years ago
- A no-code development framework—Let AI do the coding for you 🦾☆35Nov 23, 2022Updated 3 years ago
- Simple userspace packet processing for educational purposes 🎓☆39Feb 13, 2021Updated 5 years ago
- The terminus font but with ligatures☆34Sep 15, 2020Updated 5 years ago
- Gleam bindings for the Erlang EUnit test framework☆39Nov 6, 2025Updated 3 months ago
- HeadlessPivot☆29Updated this week
- CHIP-8 Emulator written with Python3 and PyGame☆11Jan 6, 2020Updated 6 years ago
- Kubernetes: OIDC Authn + Azure AD + RBAC Authz = <3☆11Mar 6, 2018Updated 7 years ago
- Incremental 3D Delaunay Tetrahedralization☆14Jul 21, 2024Updated last year
- Chatbot that answers frequently asked questions in French, English, and Tunisian using the Rasa NLU framework and RWKV-4-Raven☆13May 19, 2023Updated 2 years ago
- small blockchain with PoA consensus☆12May 22, 2018Updated 7 years ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago
- Clojure client for Open Policy Agent☆11Dec 12, 2025Updated 2 months ago
- https://github.com/VenomCodeDev/VanillifyFabric☆13Jun 24, 2022Updated 3 years ago
- ☆12Aug 24, 2014Updated 11 years ago
- Reference and useful snippets for .md files☆10Apr 17, 2020Updated 5 years ago
- A simple example of creating a package and using it in another package with subclassing starting with shrubbery and landscaping.☆10Apr 5, 2018Updated 7 years ago
- Generate letters (plain text or PDF) from templates.☆14Jan 8, 2023Updated 3 years ago
- Project Euler problem set compilation☆43Jul 21, 2022Updated 3 years ago
- WebAssembly made easy☆46Mar 8, 2023Updated 2 years ago
- Crossplane Provider for Styra☆14Dec 16, 2022Updated 3 years ago
- Classic Books (Including Statistics, Data Science etc.)☆13Dec 26, 2019Updated 6 years ago
- Rust implementation of Ray Tracing in One Weekend☆12Jul 17, 2020Updated 5 years ago
- A library for simplifying training with multi gpu setups in the HuggingFace / PyTorch ecosystem.☆16Jan 9, 2026Updated last month
- A Python and Jsonnet framework for handling espanso configurations☆11Oct 6, 2025Updated 4 months ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- Discord bot with GPT-3 Integration☆10Dec 8, 2022Updated 3 years ago
- Vim style editor written in Racket☆14May 31, 2020Updated 5 years ago