Language for high-assurance and high-speed cryptography
Repository Index
47,133 repositories indexed
97–120 of 204 · Most stars
Cypher for Gremlin adds Cypher support to any Gremlin graph database.
- tinkerpop
- tinkerpop3
- gremlin
- cypher
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
- async
- sync
- concurrent
- functional-programming
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
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
CSS parser with support of preprocessors
Visual D - Visual Studio extension for the D programming language
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
A JavaScript library for building React applications in more functional way. Alternative to JSX.
- fp
- react
- no-jsx
- lambda
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Coroutine support for clojure
- clojure
- clojurescript
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
LESS Engine - A Java wrapper for less.js
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
A Ruby C wrapper for Open Text Summarizer
state machine which runs code
- golang
- workflows
- state-machine
- actor-model
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
A complete header translation (binding) of the raylib 6.2 to Pascal. Without any funky helper functions for memory alignment issues. Inspired and partially based on the drezgames/raylib-pascal binding, however a little cleaner and more recent, with FPC 3.2.0 and up support.
- header-translation
- pascal-binding
- raylib
- lazarus
OM#: Visual Programming | Computer-assisted Music Compositon
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
A realtime visual programming language for interactive media.
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language