The completeness of Djula meets the usability of Eco.
Repository Index
47,133 repositories indexed
457–480 of 549 · Most stars
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
:shaved_ice: Shave some bytes by using Preact.
- preact
- codemod
- jscodeshift
- transpiler
Rcpp Bindings to C++ parser for TOML files
- r
- c-plus-plus-11
- cran
- r-package
An asynchronous directory file change watcher module for Windows, macOS and Linux wrapped for V
- vlang
- vlang-module
- wrapper
- filewatcher
Wait for a specified number of promises to be fulfilled
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
Wrapper to use the Allegro game library with Pascal/Delphi. Synced with official.
- delphi
- pascal
- allegro5
- lazarus
Run functions in parallel :comet:
- go
- concurrency
- goroutines
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Parseq is a library for Common Lisp used for parsing sequences such as strings and lists using parsing expression grammars.
Use JavaScript to generate JavaScript
- preprocessor
- build-tool
- babel
- webpack
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker
Common tools for projects
- cross-platform
- pascal-language
- library
- json
Simple ActionN composition to use with RxJava [STABLE]
A query library for retrieving part of JSON based on JSONPath syntax.
- jsonpath
- json
- peg
- golang
A compiler for an Ada-like language
Mutex Server using WebSocket
- mutex
- server
- critical-section
- websocket
An interpreter for C flat, a music-based programming language
Clj-crypto is a wrapper for Bouncy Castle which allows you to easily use cryptography in your clojure app.
Implementation of sum/option types using QVariant
coinduction library for Coq
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.
Go utility library for convenient looping using Go's range-over-func feature
- golang