No-Frills Functional Programming Lib Augmenting Javascript/Node.js
- functional-programming
- pure-function
- recursion
- javascript
Repository Index
65,264 visible repositories in the index
49–72 of 84 · Most stars
Transpiling C code to Go code
- transpiler
- c
- go
- golang
PyStan, a Python interface to Stan, a platform for statistical modeling. Documentation: https://pystan.readthedocs.io
A fast and efficient type assistant for Python, including tensor shape inference
- python
- typing
SquirrelJME is a Java ME 8 Virtual Machine for embedded and Internet of Things devices. It has the ultimate goal of being 99.9% compatible with the Java ME standard.
- squirreljme
- java
- java-me
- iot
Compile C# and .NET CIL to small standalone Wasm with WASI (AOT with built-in Runtime and Precise GC)
JavaScript Engine for .NET
- netcore
- standard
- csharp
- csharp-library
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.
Extension of the Elixir standard library focused on data stuctures, data manipulation and performance
- elixir
- persistent-vectors
- ordered-map
- util
🌟 DataFormsJS 🌟 A minimal JavaScript Framework, standalone React and Web Components, and JSX Compiler for rapid development of high quality websites and single page applications.
- javascript-framework
- react-components
- web-components
- dataformsjs
A reactive dataflow programming language for the AI era, with automatic parallelization and very high standards of static verification
C# Bindings for the Vulkan API & SPIR-V
- vulkan
- c-sharp
- spir-v
- dotnet-standard
A library of mechanised undecidability proofs in the Coq proof assistant.
Easier-than-print dataflow tracing to tap> and Portal with automatic last-input function replay on eval, instant re-render and effortless extraction of traced data
Elixir phone number parser for numbers in international standard.
- phone
- countries
- international
- elixir
TensorFlow.Delphi (TF.Delphi) provides a Delphi(Pascal) Standard binding for TensorFlow. It aims to implement the complete Tensorflow API in Delphi which allows Pascal developers to develop, train and deploy Machine Learning models with the Pascal Delphi
- deep-learning
- delphi
- machine-learning
- pascal
Fast Ruby FFI string edit distance algorithms
Compilation and Verification of Data-Centric Languages
- verification
- query-language
- query-engine
- functional-programming
A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS
- libsass
- dotnet
- dotnet-standard
- scss
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml
- ocaml
- linenoise
- readline
- standalone
The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
Transpiling fortran code to golang code
- transpile
- f4go
- fortran
- golang
A stand-alone Swift wrapper around the mongo-c client library, enabling access to MongoDB servers.
- swift
- mongodb-connector
- server-side-swift
- mongodb