Nana - a design by contract framework for C/C++
☆24Jan 14, 2015Updated 11 years ago
Alternatives and similar repositories for nana
Users that are interested in nana are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- client for a snow2 repository☆12Mar 18, 2019Updated 7 years ago
- ☆11Apr 28, 2023Updated 3 years ago
- CurveCP protocol implementation in pure Javascript☆15Sep 17, 2016Updated 9 years ago
- Common Lisp ONC-RPC implementation☆13Oct 20, 2015Updated 10 years ago
- Decentralized ImageBoard☆13May 19, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11May 26, 2020Updated 5 years ago
- Hygiene-compatible Lisp dialect embedded in CL☆21Dec 2, 2023Updated 2 years ago
- The ColdCore system for use with Genesis.☆11Jan 10, 2025Updated last year
- This repo contains the code developed for my master thesis☆13Mar 24, 2022Updated 4 years ago
- Gramadán: a computational grammar of Irish☆17Jan 23, 2023Updated 3 years ago
- An updated version of the 2018 LambdaCore database for use with the ToastStunt server fork.☆18Apr 30, 2025Updated last year
- Certificate authority fixtures for Go tests☆14Oct 4, 2021Updated 4 years ago
- Project has moved to https://git.fmsbw.de/gpresent-fork/☆12Oct 5, 2025Updated 7 months ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 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 whirlwind Lisp adventure☆21Nov 16, 2024Updated last year
- Official code for ECG-TCN paper accepted for publication on AICAS2021☆14Aug 20, 2021Updated 4 years ago
- Use NtSetInformationThread(ThreadBreakOnTermination) for anti-debugging☆16Sep 21, 2019Updated 6 years ago
- Import & export of mutable globals☆17Jun 24, 2018Updated 7 years ago
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 5 years ago
- Windows process injection methods☆19Jul 18, 2021Updated 4 years ago
- tinyml library for Arduino☆17Aug 17, 2021Updated 4 years ago
- Motion recognition with artificial intelligence on STM32☆19Feb 6, 2018Updated 8 years ago
- TiledKernel is a code generation library based on macro kernels and memory hierarchy graph data structure.☆19May 12, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Automatically exported from code.google.com/p/libfixmath☆11Jan 25, 2016Updated 10 years ago
- Main repository for Harvard CS260r 2017.☆12Apr 25, 2017Updated 9 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- Very simple library for sending and receiving ICMP datagrams.☆17Jul 3, 2022Updated 3 years ago
- A project to facilitate construction of high-performance neural simulations.☆32Jul 3, 2021Updated 4 years ago
- Templates for 1C☆13Aug 2, 2023Updated 2 years ago
- A curated list of awesome Cangjie frameworks, libraries, software and resources.☆27Jan 13, 2026Updated 3 months ago
- Web framework for creating apps using Go in Google AppEngine☆45Jul 16, 2011Updated 14 years ago
- A feature-incomplete peekahole (pahole) clone that doesn't rely on libdwarves (and doesn't choke on Clang output)☆24Oct 23, 2017Updated 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.
- A compiler for an Ada-like language☆32May 5, 2025Updated last year
- PE Bliss - Cross-Platform Portable Executable C++ Library☆16Jan 23, 2018Updated 8 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 5 years ago
- This is project made for one of the subjects at Warsaw University of Technology. Its aim is to detect anomaly in time series data.☆19Dec 30, 2025Updated 4 months ago
- ACCU 2017 - "History of Time: Asynchronous C++"☆16Apr 26, 2017Updated 9 years ago
- Ada Unit Testing Library☆10Aug 3, 2025Updated 9 months ago
- GitHub Actions for interacting with Docker☆16Jul 12, 2021Updated 4 years ago