A GTK / Fortran binding, and its documentation (in the Wiki tab).
Repository Index
47,133 repositories indexed
409–432 of 885 · Most stars
An opinionated set of bindings to the React library, optimizing for the most basic use cases
Stream api (kind of) implementation for go, other useful functions and packages to use go in a functional way
- filter-map-reduce
- go-library
- stream-api
- filter
[A]synchronous Functional Programming
- function-composition
- asynchronous
- transducers
- parallel
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
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.
- immutable
- typescript-definitions
- es2015-modules
- data-structures
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
formally verified category theory library
- category-theory
- formal-verification
- formal-proofs
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
FXRuby is an extension module for Ruby that provides an interface to the FOX GUI toolkit.
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
Connection behaviour for connection processes
A JavaScript library for building React applications in more functional way. Alternative to JSX.
- fp
- react
- no-jsx
- lambda
:alarm_clock: A lightweight implementation of Promises in Swift
- promise
- swift
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
A Library for Representing Recursive and Impure Programs in Coq
An extremely small, intuitive and fast functional utility library for JavaScript
- javascript
- functional
- lightweight
- fast
Sento - Actor framework featuring actors and agents for easy access to state and asynchronous operations.
- common-lisp
- concurrency
- genserver
- actor
High performance Transactional Memory for Common Lisp
A high-performance, thread-safe generic concurrent hash map implementation with Swiss Map.
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Ruby speech recognition with Pocketsphinx
Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.