High performance System.Threading.(Value)Task computation expressions for F#
Repository Index
79,350 visible repositories in the index
577–600 of 974 · Most stars
Verifying Signal's security at the machine-code level
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
- regular-expression
- regexp
- regex
- code-generation
Debounce promise-returning & async functions
🛠 A full-featured dependency injection container for go programming language.
- go
- dependency-injection
- di
- ioc
A collection of sweet.js macros that implement ES6 features for ES5
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
C++20 Microservice Bootstrapping Framework
- threads
- event-loops
- boost
- cpp20
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
Complete ECMAScript Fifth Edition Implemention in Object Pascal
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 parser combinator library written in the Swift programming language.
- parser
- parser-combinators
- swift
- functional
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
The reference implementation of orderly: a schema language for JSON.
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying
Extended version of Rambda
- ramda
- rambda
- utils
- lodash
cpgf library
- cpgf
- lua-bindings
- c-plus-plus
- python-bindings
Simply way to control goroutines execution order based on dependencies
- goflow
- golang
- goroutine
- concurency
Open source compiler for your whole ML repo (support python, CUDA C/C++) into sass and cuda binary (which are closed sourced by Nvidia); 3-40% faster than Openai Triton for Neural Network (primarily LLM) based training/inferencing
- compiler
- compiler-backend
- compiler-optimization
- gpu-acceleration
Functional data types and functions for any project
Functional programming in R
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
interactive programming of melodies, producing MIDI