706 Open source projects that are alternatives of or similar to Scallina

A core language for rule-based hardware design 🦑

Links to tools by subject

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

A gently curated list of companies using verification formal methods in industry

Algebraic effects for Ruby

Stack allocated and type-erased functors 🐜

Webscraper

🀄️A tiny library for creating WebComponents in a Functional way

Algebraic structures for untyped Racket

Compact Cursor Library built on top of the excellent seamless-immutable

Computational environments and effects for TypeScript

The Penn Locally Nameless Metatheory Library

Java library for handling exceptions in concise, unified, and architecturally clean way.

A demo for the ReactJS Tampa Bay meetup showing how to build a React+Redux-like architecture from scratch using Inferno, Most.js, reactive programmning, and various functional programming tools & techniques

A compiler plug-in to control object lifetimes in Scala

Porn browser formally-verified in Coq

Modules in R

用函数式编程重构代码吧！

Code that accompanies the series

A functional language frontend for the Dart VM.

SuperCollider library for Python

λ → C++ library for functional programming

Functional Programming library for Java

Experimental library for currying in C++17

Faster and smaller alternative to Ramda

The CompCert formally-verified C compiler

Music Synthesis with Python talk, originally given at PyGotham 2017.

Verifying concurrent crash-safe systems

FunctionalRx is a collection of constructs to simplify a functional programming approach to Java and [STABLE]

A BASIC-flavored Lisp dialect

Type classes for interoperability of common algebraic structures in JavaScript, TypeScript and Flow

Exercises from the readers of the Haskell Book

Mostly adequate guide to FP (in javascript, translated to russian)

RISC-V Specification in Coq

A blog about Coq

JHC Haskell compiler split into reusable components

Kickstarter for iOS. Bring new ideas to life, anywhere.

Assorted functional-oriented data structures and algorithms for Java.

🛠 Data manipulation for GraphQL queries with lodash syntax

Synthdef Pool

A framework for implementing and certifying impure computations in Coq

Purely functional genetic algorithms for multi-objective optimisation

Tiny functional programming suite for JavaScript.

Correct, easy to use Option type for TypeScript. 🦄

A Certified Interpreter for ML with Structural Polymorphism

MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。

Total Parser Combinators in Coq

🔫 safedom is a safe way to you manipulate dom using a purer functional style.

Collapsing Towers of Interpreters

Bkmrkd is a self-hosted, lightweight bookmarking service run on node.js and rethinkdb

⛳️ Functional Go

Package snd provides methods and types for sound processing and synthesis.

Corsair using RxJS, Immutable.js and WebGL/three.js

Functional additions to C

Formal specification and verification of hardware, especially for security and privacy.

A General Purpose Image Manipulation Tool

CoreIR Symbolic Analyzer

Code. Music. Live.

iflux = immer.js + react.js