47,133 repositories indexed
25–48 of 74 · Most stars
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.
The project provides high-performance concurrency, enabling highly parallel computation.
A Library for Representing Recursive and Impure Programs in Coq
Ruby speech recognition with Pocketsphinx
F# computation expression builder for System.Threading.Tasks
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
User agent parser library
Clojure wrapper for Encog (v3) (Machine-Learning framework that specialises in neural-nets)
A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Generates Elm types, JSON decoders, JSON encoders and fuzz tests from JSON schema specifications
The Rockstar programming language specification
Common Lisp with Arc Macros and Procedures
CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.
The repository host gives no description.
query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp
A framework for implementing and certifying impure computations in Coq
High-speed approximate nearest neighbors for Ruby
Ruby FFI bindings for Hunspell.
Interactive Lisp IDE with REPL, Inspector, Debugger and more for Sublime Text 4.
Parallelism for Common Lisp
GObject Introspection D Package Repository