Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Repository Index
47,133 repositories indexed
313–336 of 678 · Most stars
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
Parser combinators for Idris
Debounce promise-returning & async functions
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators
Lisp to GLSL Language Translator
A simple, flexible, extensible, and liberal RSS and Atom reader for Ruby. It is designed to be backwards compatible with the standard RSS parser, but will never do RSS generation.
A concise language for sketching ASCII art.
- esoteric-language
- ascii-art
- golfing-language
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
Ruby wrapper for Apache Spark
- ruby
- spark
- ruby-spark
- distributed
CleanAspire is a cloud-native template built on Aspire, using .NET 10 Minimal APIs and Blazor WebAssembly to deliver lightweight, scalable PWAs with offline support.
- blazor-webassembly
- clean-architecture
- aspire
- blazor-wasm
Tiny library (<200B gzip) for deferring something by a "tick"
- defer
- javascript
- async
- wait
⛓ A chainable interface for Swift's async/await.
- async-await
- swift5
- concurrency
- async
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
Lispbuilder provides a range of libraries for developing useful portable Common Lisp applications
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Thread-safe, persistent, immutable collections for the Crystal language
- crystal
- immutable-collections
- vector
- hash
Based Python static type checker with baseline, sane default settings and based typing features
- based
- python
- typing
- baseline
This is a grunt task for adding a grunt task to compiler ES6 JS into ES3 JS using Traceur Compiler
Like `Promise.all()` but for `Map` and `Object`
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
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
state machine which runs code
- golang
- workflows
- state-machine
- actor-model