Repository Index

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

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

C to Common Lisp compiler

GDScript Compiler for Godot.

Runtime parser for string expressions (formulas, method calls). Builds dynamic LINQ expression tree and compiles it to lambda delegate.

• evalexpr
• evaluator
• dot-net
• dotnetcore

A JIT Compiler and Runtime for Java in Common Lisp

Abstract syntax tree builder for Delphi

• delphi
• syntax-tree
• pascal

Simple Swift interpreter for the Pascal language inspired by the Let’s Build A Simple Interpreter article series.

• interpreter
• lexer
• swift
• pascal-language

Let's make a SQL parser so we can provide a familiar interface to non-sql datastores!

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

An inter-process and inter-machine lockfile utility that works on a local or network file system.

• lockfile
• atomic
• nodejs
• cross-process

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

Common Lisp to JavaScript compiler

The Snazzy D Compiler

A high-performance engine for matrix math, physics simulation, and MCAD and ECAD as code. RunMat checks types, sizes and units before anything runs, executes on CPU and GPU, and runs existing MATLAB-language code as written.

• 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

JavaScript Engine for .NET

• netcore
• standard
• csharp
• csharp-library

An extremely small, intuitive and fast functional utility library for JavaScript

• javascript
• functional
• lightweight
• fast

Elm style FRP library for PureScript

TypeQL: Built for systems, not records

• reasoning
• query-language
• query
• inference

Erlang state "monad" with merge/conflict-resolution capabilities. Useful for Riak.

Railo is an Open Source CFML Server

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.