A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
- coq-library
- typeclasses
- mathematics
- coq
Repository Index
71,865 visible repositories in the index
577–600 of 925 · Most stars
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
A fast regular expression compiler in Common Lisp
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming such as RxSwift and Combine.
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
Abstract Syntax Tree for parsing schema.prisma files
A Lean formalization of the Classification of Finite Simple Groups
Set up a modern Yew web app by running one command.
- yew
- create-yew-app
- webassembly
- rust
Automatically exported from code.google.com/p/llvm-lua
A realtime visual programming language for interactive media.
Swift cryptography library for Bitcoin and Nostr. ECDSA, Schnorr, ECDH, and zero-knowledge proofs on secp256k1. Apple platforms and Linux.
- taproot
- secp256k1
- swift
- schnorr
CyclicBarrier golang implementation
- go
- golang
- cyclicbarrier
- cyclicbarrier-golang
An OCaml generic virtual machine for microcontrollers
The asynchronous version of Elixir's "with", resolving the dependency graph and executing the clauses in the most performant way possible!
- elixir
- async
Java port of a concurrent trie hash map implementation from the Scala collections library
Compile WebAssembly to native MicroPython modules
- armv7
- esp32
- micropython
- raspberry-pi
PHP Iteration Tools Library
- php-library
- php
- iterator
- iterable
Javascript Generalized Parser Combinators
- functional-programming
- parsec
- parser-combinator
- monad
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
A little scheme implementation on top of Clojure
The repository host gives no description.
TScert: a sound core for TypeScript. An independent checker, whose soundness is proved in Lean, accepts a TypeScript function only with a proof.
- formal-verification
- lean4
- proof-carrying-code
- type-safety
Erlang NIF for sqlite
Gentee - script programming language for automation. It uses VM and compiler written in Go (Golang).
- scripting-language
- automation
- programming-language
- compiler