Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).
☆37Aug 17, 2026Updated this week
Alternatives and similar repositories for briev-lang
Users that are interested in briev-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ABI compatible replacement for https://github.com/holepunchto/libjs built on QuickJS☆22Aug 10, 2026Updated last week
- An iTransformer implementation in Rust☆22Jan 10, 2026Updated 7 months ago
- C.U.P.S (Consortium for Upper-Level Physics Software) archive☆17Aug 30, 2021Updated 4 years ago
- Because "bun create preact --typescript" is not a thing apparently☆14Jun 10, 2026Updated 2 months ago
- Buildings Unified Data point naming schema for Operation management☆15Mar 31, 2023Updated 3 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.
- Mathematica package for Clifford (geometric) algebra calculations☆15Jun 16, 2026Updated 2 months ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated 2 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- ☆25Dec 29, 2023Updated 2 years ago
- Logic plus python types☆25Updated this week
- OpenCL raw wrapper for Haskell☆15Sep 8, 2011Updated 14 years ago
- Riemannian Interior Point Methods (RIPM) for Constrained Optimization on Manifolds☆17Feb 3, 2024Updated 2 years ago
- An patch porting qwingraph (wingraph written in qt4) to qt5.☆11Aug 21, 2019Updated 6 years ago
- A PyTorch Geometric implementation of Learning to Simulate Complex Physics with Graph Networks (Sanchez-Gonzalez et al., 2020). Trains a …☆16Mar 2, 2026Updated 5 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mathematica plug-in for CUDA☆21Mar 5, 2011Updated 15 years ago
- It's exactly like those graduation gift balloons, except this is a Clang Tool that detects library-level API and ABI compatibility breaki…☆14Apr 8, 2025Updated last year
- Fully-Differentiable Tensor Spherical Harmonics in JAX☆22Apr 11, 2026Updated 4 months ago
- MCP is a command-line tool and local UI for discovering, installing and managing Model Context Protocol servers.☆13Dec 28, 2024Updated last year
- ☆10Feb 23, 2024Updated 2 years ago
- ☆17May 26, 2026Updated 2 months ago
- Make Whisper work with APR model format and run in WASM☆31Updated this week
- An experiment in functional interface design☆24Oct 29, 2016Updated 9 years ago
- ☆13Nov 4, 2023Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆15Dec 21, 2025Updated 7 months ago
- ☆11May 10, 2026Updated 3 months ago
- Quick starter for SDL2 projects that run in web or desktop☆13Jul 24, 2020Updated 6 years ago
- VSCode plugin that shows bugs detected by the Clang Static Analyzer and Clang Tidy analyzers using CodeChecker as a backend.☆27Jul 4, 2026Updated last month
- Aiken Playground☆13Jun 10, 2026Updated 2 months ago
- Turn Trello into a CMS to power all your websites and apps.☆10May 12, 2018Updated 8 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- Minimalistic Wolfram Language Kernel for Jupyter Notebooks☆22Jun 11, 2024Updated 2 years ago
- Falling ball toy. See the future!☆31Aug 7, 2014Updated 12 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.
- Raw RPC layer for Hyperspace☆16Apr 27, 2021Updated 5 years ago
- A simple and fast pub/sub server and client using WebSockets and Node.js☆12Dec 20, 2022Updated 3 years ago
- Plug & Play react native component to sell in-app purchases, includes a beautiful Paywall with the content translated in 6 languages☆15Jul 22, 2025Updated last year
- OpenRewrite recipes for data flow analysis.☆16Updated this week
- Simple, Non authoritative Benchmarks for embedded databases running in Github Actions☆10Jul 11, 2024Updated 2 years ago
- Notion logging from CLI☆11Mar 25, 2022Updated 4 years ago
- Z-layout bit-sliced index for evaluating point and range queries over unsorted numerical data☆17Updated this week