:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Repository Index
56,139 visible repositories in the index
625–648 of 769 · Most stars
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
- vlang
- vlang-module
- wrapper
- filewatcher
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 cookiecutter template for Common Lisp videogame projects
- common-lisp
- cookiecutter
- cookiecutter-template
- lisp
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Tealang - high level language for Algorand ASC1 and TEAL
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
Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.
- xor-filter
- bloom-filter
- erlang-nif
- erlang
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
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Dynamic Binding for libui (https://github.com/andlabs/libui) in D
Simple ActionN composition to use with RxJava [STABLE]
immutable primitive array/NonEmptyArray wrapper for Scala
- data-structures
- scala
- primitive-arrays
- scala-js
Generate Clojure syntax from vectors
- clojure
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Simple partial application for FuncN and ActionN on RxJava [STABLE]