Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
Repository Index
76,356 visible repositories in the index
1–12 of 12 · Most stars
HVM1 (2022): a massively parallel, optimal functional runtime in Rust
A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
Handcrafted Go bindings for libVLC and high-level media player interface
- libvlc
- go
- vlc
- bindings
A library of queues that enable sending ordered tasks to asynchronous contexts
Floc: Orchestrate goroutines with ease.
- go
- parallel-programming
- goroutines
- goroutine-safe
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
The reference implementation of orderly: a schema language for JSON.
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
Ordered-concurrently a library for concurrent processing with ordered output in Go. Process work concurrently and returns output in a channel in the order of input. It is useful in concurrently processing items in a queue, and get output in the order provided by the queue.
- concurrent
- golang
- golang-library
- data-science
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem