A Lean formalization of the Classification of Finite Simple Groups
Repository Index
47,133 repositories indexed
433–456 of 864 · Most stars
A realtime visual programming language for interactive media.
Most comprehensive OpenSSL module in the Lua universe.
Transducers: Ergonomic, efficient data processing.
- functional-programming
- lisp
- transducers
Common Lisp .Net Core Interop
- common-lisp
- dotnet-core
- dotnet
- dotnetcore
Lua zeromq2 binding
Common Lisp CFFI bindings to the IUP Portable User Interface library (pre-ALPHA)
- common-lisp
- cffi
- gui
- iup
Tool for translation type comments to type annotations in Python
- annotations
- python-3-6
- source-to-source
- type-hints
An OCaml generic virtual machine for microcontrollers
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
A shading language that can be compiled into GLSL ES 3.0
A complete set of primitives for concurrency and reactive programming on Swift
- swift
- concurrency
- concurrency-library
- future
Import Go libraries in your Haxe projects Go -> Haxe source-to-source compiler
- haxe
- golang
- go
- compiler
Java port of a concurrent trie hash map implementation from the Scala collections library
Compile WebAssembly to native MicroPython modules
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
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
Castor is a lightweight, typed Actor library for Scala and Scala.js
A little scheme implementation on top of Clojure
cl-cffi-gtk is a Lisp binding to the GTK+ 3 library.
Plotly for C++. A C++ interface to the Plotly.js figure spec, for creating interactive data visualizations.