Conveniently and reasonably harden NixOS.
Repository Index
47,133 repositories indexed
25–48 of 53 · Most stars
GRAVA: A Unified Grounded Reasoning-to-Action Framework for Autonomous Driving. Project overview.
Testing, printing, coloring, and other tools to effectively write native Reason code.
Official Code for OpenVLHarness: Real-World Visual Agentic Tool‑Use with Multimodal Memory
- agent-harness
- agentic-ai
- ai-agents
- coding-agent
Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.
- cql
- clinical-quality-language
- cds
- java
A reasonably fast, easy to use and 100% conformant Elixir library for Google Protocol Buffers (aka protobuf)
- protobuf
- elixir
- protocol-buffers
- protobuf-message
OCaml project generator.
- spin
- ocaml
- reason
- template
ModernAVPlayer is a persistence AVPlayer wrapper
- avplayer
- wrapper
- persistence
- swift
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
- ai-agents
- mathematics
- neuro-symbolic
- reasoning
Sigma Rules Engine inside the Linux Kernel using eBPF. Focusing on prevention capabilities
- ebpf
- security
- linux-kernel
- linux-security-module
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
Official Repository of paper OmniReasoning: Pushing the Limits of Audio-Visual Joint Reasoning
Does their story hold up? Paste what a seller, recruiter or landlord told you and check it against public records in thirty seconds, with proof saved for every reason.
- desktop
- due-diligence
- evidence
- fraud
Utilities for reasoning about musical notes, frequencies, and intervals
Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing
Type-safe and simple GraphQL library for ReasonML developers.
Settle promises concurrently and get their fulfillment value or rejection reason with optional limited concurrency
Monadic effects and equational reasoning in Rocq
- monads
- monad-transformers
- probabilistic-programming
- nondeterminism
Type and doc on hover for OCaml and Reason in emacs
- emacs
- ocaml
- reasonml
Persistent decision memory for AI agents: rationale, rejected approaches, and entity history. Connect any compatible agent through local MCP or the CLI.
- agent-memory
- agent-trace
- ai-agent-reasoning
- ai-agents
Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]
- coq
- randomized-algorithms
- probability
- monad