Automatically makes package.json projects (such as npm packages and node.js modules) compatible with Deno.
Repository Index
47,133 repositories indexed
433–456 of 537 · Most stars
The Advanced Scripting Framework is a modern scripting for VBA: JavaScript-like syntax, classes with inheritance, map/filter/reduce, closures, regex. No COM, works everywhere. Transform Excel automation.
- interpreter
- language
- programming
- vba
go-fasttld is a high performance effective top level domains (eTLD) extraction module.
- compressed-trie
- idn
- idna
- ipv4
PostgreSQL client library (libpq) binding
- pecl
- libpq
- asynchronous
- postgresql
Run promise-returning & async functions a specific number of times concurrently
The completeness of Djula meets the usability of Eco.
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
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
A Common Lisp library that enables fast and convenient interoperation with foreign objects.
CGo bindings to Yandex.Mystem
- russian-specific
- mystem
- cgo-bindings
- linguistics
Ruby wrapper for the famous spell checker library hunspell.
- ruby
- hunspell
- rubygem
- hunspell-spell-checker
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
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
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]
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
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.
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
- coq
- bourbaki
- set-theory
- mathcomp
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.