A Lean formalization of the Classification of Finite Simple Groups
Repository Index
47,133 repositories indexed
505–528 of 885 · Most stars
A realtime visual programming language for interactive media.
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
CyclicBarrier golang implementation
- go
- golang
- cyclicbarrier
- cyclicbarrier-golang
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
A complete set of primitives for concurrency and reactive programming on Swift
- swift
- concurrency
- concurrency-library
- future
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Ruby bindings to RE2, a "fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python".
- regex
- regular-expression
- ruby
Java port of a concurrent trie hash map implementation from the Scala collections library
J2ME implementation in JavaScript
- j2me
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
A super simple Lodash like utility library with essential functions that empowers the development in Go
An extension of LPeg that supports labeled failures
Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.
- cron
- csharp
- date-time
- dotnet
:incoming_envelope: A fast Message/Event Hub using publish/subscribe pattern with support for topics like* rabbitMQ exchanges for Go applications
- topic
- pubsub
- go
- golang
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A little scheme implementation on top of Clojure
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.
Less language is an extension of css and less4j compiles it into regular css. Less adds several dynamic features into css: variables, expressions, nested rules, and so on. Less was designed to be compatible with css and any correct css file is also correct less file.
A revolutionary new dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler
MojiScript is an async-first, opinionated, and functional library
VS add-in. Creates Xamarin.Android Binding Projects using gradle