☆15Oct 13, 2026Updated 2 weeks ago
Alternatives and similar repositories for f1r3node
Users that are interested in f1r3node are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generic library for structured commands with explicit parallelism☆11Nov 16, 2022Updated 3 years ago
- MeTTa module containing various flavors of backward and forward chaining, as well as converters between these flavors.☆16Sep 16, 2026Updated last month
- Well Typed Foundations 🏛️☆15Feb 3, 2021Updated 5 years ago
- ☆167Updated this week
- An ingredient for tasty that prints a summary and outputs junit xml that works with jenkins.☆13Feb 19, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- This might one day be a thesis project☆11Dec 21, 2022Updated 3 years ago
- MeTTa Optimal Reduction Kernel☆62Updated this week
- Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.☆26Sep 27, 2025Updated last year
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 5 years ago
- Make authenticated REST requests to AWS services using Elm☆14Dec 3, 2017Updated 8 years ago
- Haskell Sendgrid v3 API Library☆15May 5, 2026Updated 5 months ago
- Scala library for nice business logic oriented, for-comprehension-style error handling☆29Sep 5, 2026Updated last month
- Governance modules for Cardano protocols☆52Aug 26, 2024Updated 2 years ago
- Distributed Atomspace.☆12Jul 24, 2026Updated 3 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.
- Hyperon port of PLN (experimental)☆11Sep 21, 2026Updated last month
- ☆39Mar 20, 2026Updated 7 months ago
- Bilingual (EN·한국어) interactive study notes for Lynch & Park's Modern Robotics: kinematics, dynamics, planning, control, grasping, and whe…☆13Oct 17, 2026Updated 2 weeks ago
- Tool for cleaning away old Haskell Stack build artifacts☆39Dec 29, 2025Updated 10 months ago
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 7 years ago
- Docker image to run TeamViewer☆13Oct 4, 2021Updated 5 years ago
- Framework for writing evolutionary optimization algorithms in OCaml☆11Sep 19, 2013Updated 13 years ago
- ☆17Apr 6, 2026Updated 6 months ago
- Scheme (R6RS subset) interpreter written in OCaml☆17Jun 30, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Plutus Experience Modules☆21Updated this week
- A classification theorem in Lean of solvable Lie algebras of dimension zero to three☆11May 18, 2025Updated last year
- Portable and reasonably fast OCaml regexp library☆14Dec 31, 2011Updated 14 years ago
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 9 years ago
- An embedded 'Smartwatch' written in Rust☆45Sep 22, 2023Updated 3 years ago
- Schematic and troubleshooting guide for the Toshiba T1600 Power Supply board (PSU)☆16Apr 14, 2022Updated 4 years ago
- Unofficial ext4magic repository☆24Jan 8, 2024Updated 2 years ago
- Patch for JieLi/hanlinyue firmware updater to bypass broken VID check. For Free2 Bluetooth page turners (working with Xteink X4 and simil…☆17Feb 4, 2026Updated 8 months ago
- Control your Ozobot Evo with your Raspberry Pi via Bluetooth☆16Apr 11, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A plugin for circuit notation☆13Sep 2, 2026Updated last month
- ☆21Oct 7, 2021Updated 5 years ago
- ☆11Jun 10, 2026Updated 4 months ago
- Bindings to Instagram's API☆11Feb 19, 2018Updated 8 years ago
- Lending and Borrowing on Cardano☆21Jan 16, 2023Updated 3 years ago
- Example web server to show how to use a bounded queue to asynchronously send emails☆12Jun 4, 2017Updated 9 years ago
- micro:bit official Android application code. The application is free to download from https://play.google.com/store/apps/details?id=com.…☆21Jul 22, 2026Updated 3 months ago