property testing and verification front-end for Rust

The CompCert formally-verified C compiler

Programming Languages Zoo

High-confidence browser testing

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

A list of programming languages implemented in Rust, for inspiration.

Rapid is a modern Go property-based testing library

Finitio - In Ruby

Modern CSS framework based on Flexbox

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Generative testing for JavaScript

“The Tie Between Ruby and Rust.”

Bmg, Alf's successor, A Ruby Relational Algebra

The compiler for ReScript.

FP-inspired prelude/standard library for ReasonML projects

⚡ Native, high-performance, cross-platform desktop apps - built with Reason!

TEA for Bucklescript

AlaSQL.js - JavaScript SQL database for browser and Node.js. Handles both traditional relational tables and nested JSON data (NoSQL). Export, store, and import data from localStorage, IndexedDB, or…

integrate pods in form of prebuilt frameworks conveniently, reducing compile time

A Swift / ObjeciveC DSL for creating pacts.

Ruby production code coverage collection and reporting (line of code usage)

An iOS application architecture experiment

Unidirectional Data Flow in Swift - Inspired by Redux

Experimental Servo browser built in HTML

Mirror of https://gitlab.redox-os.org/redox-os/redox

CLI Free Cell Clone

[deprecated] - Configure, compile and share systems, toolchains and linux firmware.

Mounting middleware for Iron

Router middleware for the Iron web framework.