Exception runtime library for Cortex M series CPUs
☆14Dec 17, 2025Updated 10 months ago
Alternatives and similar repositories for libhal-exceptions
Users that are interested in libhal-exceptions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An opionated lightweight alternative to node-gyp-build & prebuildify, that is build tooling agnostic.☆17Jun 19, 2026Updated 4 months ago
- Hyaline Reclamation (PLDI '21, PODC '19)☆26Jul 10, 2021Updated 5 years ago
- Lambda Jam 2014: Roll Your Own Relational DSL☆15Feb 3, 2017Updated 9 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 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.
- High-order abstraction for reducible data structures☆13Mar 12, 2013Updated 13 years ago
- Dependency injection via delimited continuations☆11Mar 13, 2014Updated 12 years ago
- Typed effect handlers for C++20 using coroutines.☆18Updated this week
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Given a sample of JSON, derive an API☆14Apr 17, 2014Updated 12 years ago
- an ur-lisp interpreter written in Rust☆11Jul 18, 2016Updated 10 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- jStar is a verification tool based on separation logic.☆10Apr 11, 2016Updated 10 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 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.
- Kamon Monix Integration☆10Mar 6, 2019Updated 7 years ago
- An implementation of a generic Burst Trie in Scala.☆13Nov 24, 2014Updated 11 years ago
- implementation of the Yang et al Jeeves language in Haskell☆10Sep 30, 2014Updated 12 years ago
- A sample project for How I Start.☆17Sep 9, 2014Updated 12 years ago
- io-language engine for javascript☆13Apr 29, 2011Updated 15 years ago
- Micro ML — Small, simple compiler in ML for a subset of ML. Meant for teaching.☆12Aug 24, 2014Updated 12 years ago
- git-indexeddb is an implementation of a js-git db on top of IndexedDB☆11Oct 27, 2013Updated 13 years ago
- A C++ Library that give microservice framework ( Server / Client ) upon 0mq framework☆16Jul 28, 2023Updated 3 years ago
- OMeta object-oriented language for pattern-matching with Racket as a host☆13Dec 18, 2013Updated 12 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- The generalized intensional compiler for a Haskell-like language.☆14Nov 27, 2017Updated 8 years ago
- Repository for documents and experiments to do with algebraically-indexed types☆13Mar 23, 2014Updated 12 years ago
- Gramada is an interactive development environment for programming languages defined in Ohm. It is based on Vivide and implemented in Sque…☆17Mar 6, 2020Updated 6 years ago
- scalariform server to format scala faster☆14Aug 25, 2017Updated 9 years ago
- An executable Lua specification so I remember what I've learned.☆13Dec 7, 2010Updated 15 years ago
- An IRC bot written in Haskell☆11Oct 11, 2010Updated 16 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- A web application demoing the intended use case of Cadence.js, authentication.☆14Jul 6, 2013Updated 13 years ago
- Educational implementation of dependent types☆19May 16, 2018Updated 8 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.
- An Erlang implementation of the Kaleidoscope language from the LLVM tutorial.☆12Dec 24, 2015Updated 10 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆21Oct 23, 2026Updated 2 weeks ago
- Source code for http://gregorycollins.net/ --- built on the Haskell "happstack" framework☆15Aug 19, 2009Updated 17 years ago
- simple convention-based template engine☆10Jun 29, 2014Updated 12 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo…☆13May 27, 2009Updated 17 years ago
- A GoogleTest-compatible C++ mocking library using monkey patching to mock free functions, static functions, and virtual/non-virtual class…☆34Sep 21, 2026Updated last month
- Algorithmic composer.☆12Jul 15, 2013Updated 13 years ago