Ahead of time compiler for JVM bytecode targetting iOS, Mac OSX and Linux
- ios
- java
- jvm
- robovm
Repository Index
47,133 repositories indexed
145–168 of 397 · Most stars
a work-in-progress Ruby compiler, written in Ruby and C++
DFA regular expression library & friends
- fsm
- regex
- lexer-generator
- regexp
Tools for transparent data transformation
- term-rewriting
- logic-programming
- unification
- pattern-matching
A Lisp-to-JavaScript compiler bootstrapped from Common Lisp
- common-lisp
- jscl
- compiler
- javascript
A .NET library to parse and execute JavaScript code.
- javascript
- compiler
- library
Extensions for F#
- f-sharp
- generic-functions
- monad-transformers
- arrow-functions
Python bindings for MPI
- python
- parallel-computing
- mpi
- mpi-library
Partial lenses is a comprehensive, high-performance optics library for JavaScript
- isomorphism
- traversal
- fold
- immutable
A bleeding-edge, lock-free, wait-free, continuation-stealing tasking library built on C++20's coroutines
- cpp20
- coroutines
- wait-free
- threadpool
A TypeScript compiler for gulp with incremental compilation support.
P4_16 reference compiler
- p4
- p4c
- p4language
- p4lang
Python interface to Graphviz graph drawing package
- graph-visualization
- complex-networks
- python
An axiom-free formalization of category theory in Coq for personal study and practical work
- category-theory
- coq
- monad
- profunctor
Skia4Delphi is a cross-platform 2D graphics API for Delphi platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Clspv is a compiler for OpenCL C to Vulkan compute shaders
- spirv
- vulkan-compute-shaders
- opencl
- spir
Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.
Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Ramda Adjunct is the most popular and most comprehensive set of functional utilities for use with Ramda, providing a variety of useful, well tested functions with excellent documentation.
- ramda
- addons
- adjunct
- cookbook
Statically typechecks a common SQL dialect and translates it to various RDBMS backends
Linq for list comprehension in C++
- linq
- c-plus-plus
- cpp
- cpp11
The APL programming language (a subset thereof) compiling to Common Lisp.
🏹 Bow is a cross-platform library for Typed Functional Programming in Swift
- functional-programming
- category-theory
- functor
- monad
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis