My personal website written in rust via yew/wasm
- yew
- rust
- wasm
- wasm-bindgen
Repository Index
87,075 visible repositories in the index
841–864 of 1,034 · Most stars
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
Common Lisp/CFFI bindings for the Vulkan API.
- vulkan
- cffi
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
A framework for implementing and certifying impure computations in Coq
- coq
- formal-verification
- freer-monads
Fast YAML native library for Erlang / Elixir
- libyaml
- yaml
- libyaml-library
- erlang
Relation algebra library for Coq
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
Type-safe library for building parallel applications, built on top of Async's Rpc module.
C# wrapper for FlashRuntimeExtensions
- adobe-air
- ane
- air-native-extensions
- csharp
TurboRaylib is a cool and clean Raylib bindings for Object Pascal (Delphi and FreePascal)
- delphi
- easy-to-use
- freepascal
- game
Manifold implementation in Clojurescript
- clojurescript
- manifold
- rx
- stream
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
D version of the C headers for openssl
A simple embeddable scripting language which supports concurrent event processing.
- interpreter
- language
- embeddable-scripting-language
- object-oriented-programming
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language
Advanced Developer Async Programming Toolkit
- game-engine
- event
- framework
- async
The universal ISSR server compatible with <your-favorite-programming-language>
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
D binding to the Allegro5 game development library
A Starcraft 2 replay parser written in pure Ruby
Crystal bindings to Chipmunk, a fast and lightweight 2D game physics library
- crystal
- chipmunk
- physics-engine
- bindings
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Compile-Time Parser Generator in D programming language.