458 Open source projects that are alternatives of or similar to Theseus

Purely functional genetic algorithms for multi-objective optimisation

Experimental library for currying in C++17

Functional, composable, asynchronous, type-safe Python.

Functional testing for Scala.

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

A CLI-based launcher and general productivity tool.

A BASIC-flavored Lisp dialect

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

Exercises from the readers of the Haskell Book

Ramda + Ramda Fantasy + Sanctuary REPL 🌿

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

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

Annotate Images (or goats) On The Web™

A Coq-based synthesis of Scala programs which are correct-by-construction

[outdated] A moddable MOBA in Formality

Code that accompanies the series

A inferno utility belt for function components and higher-order components

Algebraic structures for untyped Racket

FPSheet: A Spreadsheet program with Haskell as the scripting language

Binding between scodec and FS2

RequestVia: A Functional HTTP Client That Wraps Net::HTTP

JHC Haskell compiler split into reusable components

Composable HTTP Client

A functional language frontend for the Dart VM.

morph your Ecto capabilities into the s t r a t o s p h e r e !

Type safe JSON decoder for TypeScript

Chainable promises for Qt

A statically typed functional programming language

Educational computer programming environment using Haskell

Functional programming library for PHP. Inspired by Underscore, Lodash, and Ramda.

Fun with λ calculus!

The Lux Programming Language

iflux = immer.js + react.js

Algebraic data types in Common Lisp

Dive into Haskell: Examples of all features of this Pure Functional programing language

FP Challenges

A data access library for Scala + Postgres.

Add efficient pipelining, batching, and caching to any data source

Assorted functional-oriented data structures and algorithms for Java.

A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.

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

Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.

Functional additions to C

♞ lichess.org: the forever free, adless and open source chess server ♞

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

Algebraic effects for Ruby

A curated list of resources on why ES6 (aka ES2015) classes are NOT awesome

Modules in R

Fast and memory-efficient immutable collections and helper data structures

Correct, easy to use Option type for TypeScript. 🦄

An advanced, but easy to use, platform for writing functional applications in Java 8.

Faster and smaller alternative to Ramda

Asynchronous data type with typed errors.

🔍 A step-by-step guide to parsing using Haskell parser combinators.

Functional Experiment in Golang

A Real World Business Application using F# and Suave

A reactive programming library for JavaScript.

The dependency-aware, high-performance aardvark rendering engine. This repo is part of aardvark - an open-source platform for visual computing, real-time graphics and visualization.

An experimental language which adds functional programming features to Go.