Simple ClojureScript interface to React
Repository Index
47,133 repositories indexed
193–216 of 331 · Most stars
XPath/XQuery 3.1 interpreter for Pascal with compatibility modes for XPath 2.0/XQuery 1.0/3.0, custom and JSONiq extensions, pattern matching, XML/HTML/JSON parsers and classes for HTTP/S requests
- xpath
- xquery
- pascal
- html
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.
- midi
- music-programming
- karaoke
- karaoke-player
Compose promise-returning & async functions into a reusable pipeline
Async node.js interface to Blackmagic Design capture and playback devices.
Pure-Go SQL parser, formatter, linter and security scanner for 8 dialects. Zero-copy, race-free, with an LSP and MCP server.
Actor library for C# with additional modules that support persistence to Redis, as well as JS integration
A bridge between Python and Lisp (FFI bindings, etc.)
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
- coq-library
- real-number
- coq
- coq-ci
A tool for Swift code modification intermediating between code generation and formatting.
Super Monadic Über Go-into : parser combinators for Common Lisp
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
Elixir phone number parser for numbers in international standard.
- phone
- countries
- international
- elixir
WebAssembly interop between Go and JS values.
- go
- webassembly
- interop
- golang
Ruby interface to the GNU Scientific Library
PHP library to find URLs in text and turn them into clickable links. Made to handle complex URLs, HTML markup and edge cases.
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
functional/point-free utils for JavaScript
- functional-programming
Native bindings for libutp
Transpile Golang into Arduino code to use fully automated testing at your IoT projects.
- go
- golang
- arduino
- transpiler
IGraph/M is the igraph interface for Mathematica
- igraph
- mathematica
- mathematics
- network-graph
Electra is an esolang where you code like an electrician.
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy