Adobe AIR native extension for the Bullet physics simulation library
Repository Index
78,351 visible repositories in the index
817–840 of 968 · Most stars
Simple implementation of the hungry-consumer model in Elixir
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq
Common Interface to ISO Prolog implementations from Common Lisp
Simple currying for FuncN and ActionN on RxJava [STABLE]
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
A modern, template-based, open source data transformation language
Coq library on rewriting theory and termination
Run functions in parallel :comet:
- go
- concurrency
- goroutines
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
List manipulation library inspired by Haskell package Data.List
IO for Gallina
- coq
- ocaml
- extraction
A powerful JavaScript functional programming toolset, including utility functions and abstract data structures.
- functional-programming
- javascript
- js
- monad
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
The helper class for Visual Basic for Applications (VBA) 7.0, providing access to CLR (.NET Framework) assemblies and classes.
- clr
- vba
- visual-basic
- netframework
An Elixir macro for easily piping arguments at any position.
- elixir
- macros
- pipe
Basic Configuration Language
- configuration
- parsing
- virtual-machine
- ci-cd
Simple ActionN composition to use with RxJava [STABLE]
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket