Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
:baby_chick: A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
The project provides high-performance concurrency, enabling highly parallel computation.
Abstract syntax tree builder for Delphi
- delphi
- syntax-tree
- pascal
A library of queues that enable sending ordered tasks to asynchronous contexts
A GTK / Fortran binding, and its documentation (in the Wiki tab).
- fortran
- gui
- gtk
- cross-platform
C++11 wrapper for the LMDB embedded B+ tree database library.
High-performance immutable data structures for modern JavaScript and TypeScript applications. Functional interfaces, deep/composite operations API, mixed mutability API, TypeScript definitions, ES2015 module exports.
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
A high-performance engine for engineering math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.
TypeQL: Built for systems, not records
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
An F# type provider for in-process R interop
- r-language
- r-programming
- type-providers
A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5.
ReScript bindings for Formidable's Universal React Query Library, urql.
- reasonml
- graphql
- reasonreact
- bucklescript
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
a rust compiler daemon for up to 25x faster cargo builds
A durable atom type for Clojure
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
Single-header c99 accelerated float/double parsing. Port of the fast_float library.
A functional JavaScript library that facilitates currying and point-free programming
- ai-friendly
- composition
- curry
- currying