Embed Julia in R
- r
- julia
Repository Index
57,138 visible repositories in the index
241–264 of 563 · Most stars
An opinionated set of bindings to the React library, optimizing for the most basic use cases
OCaml bindings for TensorFlow
An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
Go simple async message bus
- message-bus
- event-sourcing
- ddd
- async
C To Delphi converter
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
:trident: CommonCrypto in Swift, and more
- commoncrypto
- swift
Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land
- promise
- fantasy-land
- async
- asynchronous
An OCaml lexer generator for Unicode
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
A JavaScript library for building React applications in more functional way. Alternative to JSX.
- fp
- react
- no-jsx
- lambda
Call python from Common Lisp
- common-lisp
- python
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.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
A TLA+ interpreter and model checker in TypeScript
- formal-verification
- tlaplus
- typescript
[wip] Deep Learning Compiler based on Polyhedral Compiler, Light-weight IRs, and Optimizing Pattern Matcher. (development is on hold)
A Parser Combinators Library for Clojure
A Blazor WebAssembly app for browsing the "Awesome Blazor" resources.
- blazor
- blazor-webassembly
- blazor-client
- blazor-application
Complete ECMAScript Fifth Edition Implemention in Object Pascal
Vulkan header generator, OOP-style API wrapper, framework and prospective Vulkan-based game engine for Object Pascal
- pascal
- vulkan
- vulkan-api
- vulkan-library