🌴 Empowering everyone to build reliable and efficient smart contracts.
Repository Index
47,133 repositories indexed
1–24 of 49 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Comlink makes WebWorkers enjoyable.
Production-ready C++ Asynchronous Framework with rich functionality
- async
- asynchronous
- coroutines
- database-access
Clojure(Script)'s missing piece
Header-only, event based, tiny and easy to use libuv wrapper in modern C++ - now available as also shared/static library!
- libuv
- header-only
- wrapper
- uvw
Clooney is an actor library for the web. Use workers without thinking about workers.
Python API for Deequ
ember-concurrency is an Ember Addon that enables you to write concise, worry-free, cancelable, restartable, asynchronous tasks.
R frontend for Spark
A StreamLike, Immutable, Lazy Loading and smart Golang Library to deal with slices.
- functional-programming
- lazy-evaluation
- golang-library
- golang
This projects gives Kotlin bindings and several extensions for Apache Spark. We are looking to have this as a part of Apache Spark 3.x
The new generation Pascal programming language for .NET
A Clojure library for Apache Spark: fast, fully-features, and developer friendly
TypeScript written in TypeScript
Monad, Functional Programming features for Golang
- golang
- functional-programming
- functional-reactive-programming
- reactive
Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.
- matlab
- rust
- jit-compiler
- linear-algebra
TranslatedTreat agents as functions, and write ideas as programs. Agent-native functional language with a CLI, Web IDE, goal-driven bots and live UI. Source-available; no AI training.
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
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
A Lua 5.3 parser written with LPegLabel
a rust compiler daemon for up to 25x faster cargo builds
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
Interfacing Qt/QML with OCaml. Formely known as lablqt