The single instruction C compiler
Repository Index
47,133 repositories indexed
25–48 of 441 · Most stars
Facilitating high-level interactions between Wasm modules and JavaScript
- wasm
- javascript
- rust
- binding-generator
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Type-Safe Errors for JS & TypeScript
- functional-programming
- typescript
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Functional reactive programming library for TypeScript and JavaScript
Powerful scripting language & versatile interactive shell
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
A Java to iOS Objective-C translation tool and runtime.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Lightweight, modular, and extensible library for functional programming.
A utility library for JavaScript and TypeScript.
- typescript
- utility
- functional
- programming
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
A functional standard library for Python.
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
inkle's open source scripting language for writing interactive narrative.
Safe Rust bridge for creating Erlang NIF functions
- erlang
- nif
- elixir
- ffi
🦎 Move an async function into its own thread.
- worker
- webworker
- thread
- web-worker
Principled Functional Programming in Scala
- scalaz
- scala
- functional-programming
- scala-native
Syntactic sugar in Swift for asynchronous dispatches in Grand Central Dispatch
Computing with Python functions.
- python
- parallel-computing
- caching
- multiprocessing