Briev: a contract-enforced programming language and compiler. Verified state transitions, LLVM backend, reactive execution, multi-target codegen (native/embedded/GPU/hardware/web).
☆40Nov 6, 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:
- A controlled natural language syntax for Lean.☆16Updated this week
- A statically typed Lisp for configuration and data, written in Rust.☆13Sep 29, 2026Updated last month
- A Docker image for running the ACL2 theorem proving system and books in JupyterLab.☆14Oct 18, 2026Updated 2 weeks ago
- Natural language Lean☆12Updated this week
- ☆12Updated this week
- 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.
- Spectre programming language☆75Updated this week
- Nix Skeleton Hasktorch project made for easy cloning and forking☆16Jun 11, 2025Updated last year
- Implementation of ICE protocol (RFC 8445)☆16Jul 13, 2026Updated 3 months ago
- Rails-based forum engine, heavily opinionated: only OpenID, no (sub)forums but only tags☆17Jan 27, 2009Updated 17 years ago
- World's first hazard checker for NVIDIA Blackwell (sm_120), with an assembler and scheduler matched against their own compiler byte for b…☆14Nov 1, 2026Updated last week
- Powerful Python-based metaprogramming for Rust☆14Updated this week
- A memory-safe object-oriented programming language.☆15Updated this week
- Zurfur is a programming language taking inspiration from C#, Golang and Javascript☆13Oct 28, 2026Updated last week
- ☆51May 14, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A process manager written in Rust, and a pm2 alternative: one supervisor daemon keeps a flock of long-running processes alive on Linux, m…☆16Updated this week
- and you'll miss it☆11Updated this week
- ☆11Jul 21, 2016Updated 10 years ago
- Miri: GPU-first programming language☆16Updated this week
- An arbitrary-precision Decimal type for ClojureScript☆13Sep 7, 2021Updated 5 years ago
- Okasaki's Purely Functional Data Structures in Elixir☆13May 6, 2019Updated 7 years ago
- Real-time web dashboard for AI-agent behavior monitoring, built on Perplexity's Numbat. Zero-dependency Python.☆16Aug 8, 2026Updated 2 months ago
- 👁️ An interpreted, non-esoteric programming language. "Language of vision".☆10Oct 5, 2025Updated last year
- A language platform for verifiable systems and research.☆15Updated this week
- 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.
- The AI agent-native systems programming language: Meaning in. Verified machine code out. All target OS, memory managed through Ownership …☆25Updated this week
- ML framework featuring compile time checks and accelerated by a JIT compiler.☆10Mar 19, 2026Updated 7 months ago
- Nova — a programming language for the AI era. Algebraic effects make side effects visible in function signatures.☆16Updated this week
- mindmap for the cli☆25Jan 6, 2023Updated 3 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- Brunch plugin for compiling and minifying HTML files☆12Mar 27, 2019Updated 7 years ago
- Gooo: an experimental metaprogramming language that generates Go and connects intent, typed program construction, small local models, and…☆18Updated this week
- Logic plus python types☆27Oct 24, 2026Updated 2 weeks 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
- 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.
- A low level Programing Language☆13Oct 17, 2026Updated 3 weeks ago
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.☆41Feb 22, 2026Updated 8 months ago
- Plugin for using Jasmine with Web Test Runner☆10Jan 26, 2026Updated 9 months ago
- A fast and simple, embeddable programming language that targets WebAssembly, x86-64, and ARM64.☆16Oct 24, 2026Updated 2 weeks ago
- Catalogue of languages designed for Agents☆25Updated this week
- ☆10Sep 28, 2026Updated last month
- A lightweight, embeddable, data-centric scripting language whose reach extends from JSON/FD data all the way down to runtime-compiled C a…☆24Updated this week