The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Repository Index
73,362 visible repositories in the index
889–912 of 1,037 · Most stars
annoy-rb provides Ruby bindings for the Annoy (Approximate Nearest Neighbors Oh Yeah).
- ruby
- approximate-nearest-neighbor-search
- nearest-neighbor-search
- gem
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
GCode interpreter and simulator for node.js
WebGPU for D
- webgpu
- wgpu
- 3d-graphics
- rendering
Make functions return a channel for parallel processing via go routines.
Elixir library to do pipeable transformations on html strings (with CSS selectors)
- elixir
- html-parser
- html-renderer
- css-selector
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
A debugger backend and LUA wrapper for PIN
Port of Sciter headers for the D language
- sciter
- tiscript
- htmlayout
- gui
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Fast HTML Parser for FPC and Delphi
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]
A pool that spins up a given number of processes in advance and attaches stdin and stdout when needed. Very similar to FastCGI but works for any command.
D bindings for the sokol headers (https://github.com/floooh/sokol)
- bindings
- d
- dlang
- sokol
This is a Rust / Wasm client web app which is a task control center. You can create timed tasks for your devices which support tcp connection and execute tasks on time through its core.
Elixir macro for extracting or transforming values inside a pipe flow.
- elixir
- pipe
- error-handling
Python Frontend to Algorithms of the Algorithm Engineering Group Heidelberg
- combinatorial-optimization
- community-detection
- dynamic-graphs
- edge-orientation
scala-native bindings for Gtk+, GLib, ...
- scala-native
- gtk
- glib
Generates Blazor -> Javascript strongly typed interop methods.
Easy use of Microsoft DirectShow in Delphi for Win32 AND Win64
- dspack
- microsoft-directshow
- delphinuspackage