A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
25–38 of 38 · Most stars
Elm architecture and (V)DOM for OCaml
The Esoteric File Archive
- esolang
- esoteric-programming-language
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
UNIS: A Common Architecture for String Utilities within the Go Programming Language.
- golang
- string
- utility-wrapper
A powerful C# coroutine library for Godot.
- coroutines
- csharp
- godot
- hierarchical
High performance utility functions using Generics
- filter
- functional
- generics
- go
comvert bool expression to elasticsearch DSL in rust
- elastic
- elasticsearch
- dsl
- sql
Clojure library for Blueprints (part of the Tinkerpop graph stack).
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
HAR (HTTP Archive) parser in Crystal
- har
- http-archive
- http-archive-format
- json
hnswlib.rb provides Ruby bindings for Hnswlib
- ruby
- gem
- nearest-neighbor-search
- approximate-nearest-neighbor-search
Stateful actors on Apache Flink 2.x and Java 21 — durable per-key state, exactly-once messaging, Kafka and Kinesis I/O, Kubernetes-native deployment. Continues the Apache Stateful Functions programming model on the modern Flink line.
- actor-model
- apache-flink
- distributed-systems
- event-driven
Library to manage application lifetime in a Go microservice architecture
- go
- golang
- library
- microservice