Language for high-assurance and high-speed cryptography
Repository Index
47,133 repositories indexed
337–360 of 798 · Most stars
[Go]Distributed Actor/Grain framework for Golang with goodies
- actor-model
- actors
- actorsystem
- golang
A fast object pool for the JVM
- java
- concurrency
- pool
- tdd
A Python type checker
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- javascript
The Type Linter for JS
- javascript
- types
- linter
- assertion
No-Frills Functional Programming Lib Augmenting Javascript/Node.js
- functional-programming
- pure-function
- recursion
- javascript
Runtime inspection utilities for Python typing module
- typing
- introspection
- type-hints
- python
Cypher for Gremlin adds Cypher support to any Gremlin graph database.
- tinkerpop
- tinkerpop3
- gremlin
- cypher
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
Inline RBS type declaration
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
The library which provides useful monads, interfaces, and lazy iterators.
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
- async
- sync
- concurrent
- functional-programming
Run promise-returning & async functions concurrently with optional limited concurrency
♻️ The most advanced interruptible mechanism to perform actions repetitively until successful.
- go
- library
- module
- retry
Python ctypes wrapper around SDL2
- sdl2
- sdl2-image
- sdl2-ttf
- sdl2-mixer
A literal Ruby gem. 💎
- enums
- ruby
- types
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
Java type safe statically compiled mustache
- annotation-processor
- java
- mustache
- template-engine
GtkD is a D binding and OO wrapper of GTK+ originally created by Antonio Monteiro
CSS parser with support of preprocessors
Practical generic programming for F#
- generic-programming
- fsharp