Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Repository Index
47,133 repositories indexed
145–168 of 309 · Most stars
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
Strip console, alert, and debugger statements from JavaScript code
- gulp-plugin
- nodejs
- javascript
- strip
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A simple, easy to use library for React development in ClojureScript.
- react-components
- hiccup
- clj
- clojurescript
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
Template your base files and generate new projects from Git(Hub).
- generator
- scaffolding
- templates
- schema
Clojure's data structures modified for use outside of Clojure
cpp11 helps you to interact with R objects using C++ code.
- r
- cpp11
- cpp
R bindings to the libgit2 library
- libgit2
- libgit2-library
- git
- git-client
A formalization of geometry in Coq based on Tarski's axiom system
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
Theorem statements about OSS-Fuzz fuzz targets as compiled RISC-V binaries, and machine-checked Rocq proofs of them
- formal-verification
- fuzzing
- oss-fuzz
- proofs
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
Point Smelt at a Java mod jar and it starts the Rust port for Horizon: crates, traits and a build that runs. Unfinished parts are marked, so you know exactly what is left.
- fabric
- horizon
- minecraft
- neoforge
SUSHI (aka "SUSHI Unshortens Short Hand Inputs") is a reference implementation command-line interpreter/compiler for FHIR Shorthand (FSH).
An esoteric programming language built to break LLMs and coding agents.
Railway-oriented programming for .NET
R package for converting objects to and from YAML
- r
- yaml
- cran
feedparser gem - (universal) web feed parser and normalizer (XML w/ Atom or RSS, JSON Feed, HTML w/ Microformats e.g. h-entry/h-feed or Feed.HTML, Feed.TXT w/ YAML, JSON or INI & Markdown, etc.)
- feed
- atom
- rss
- feedparser
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
errgroup with goroutine worker limits
- go
- golang
- sync
- errgroup