355 Open source projects that are alternatives of or similar to salt

A static typed low-level compiled programming language inspired by Rust and C

Fun with λ calculus!

A minimalist pure lazy functional programming language

Formalization of the polymorphic lambda calculus and its parametricity theorem

Immutability is easy!

The Ultimate Makefile to compile all your C, C++, Assembly and Fortran projects

An Android app that provides a visual interface for creating and evaluating lambda calculus expressions

Tiny and powerful preprocessor for conditional comments and replacement of compile-time variables in text files

PolyRPC, A multi-tier functional programming language

A functional web framework

🐳 Notes on configuring test targets

Functional Path do hacker Rank

Universal action dispatcher for JavaScript apps

No more null check with an dart equivalent of Maybe (Haskel, Elm) / Option (F#).

🏛️ Help other developers use your project. A CMake script for packaging C/C++ projects for simple project installation while employing best-practices for maximum compatibility.

A small package to simplify partial function application

The Toolkit API, app, and browser extension. Start preserving now.

Minimalistic dependent type theory with syntactic metaprogramming

🦋Practical functional Go

A CHIP-8 Emulator written in Haskell

Type safe persistent/immutable data structures for Go

Classic ringbuffer with optional Stream interface

Pipe operator for nim.

Low-Level, 8-bit Colored, 3D Software Renderer written in C99

💫 Functional Sass framework for rapid and painless development

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

A tree library for Java 8 with functional sensibilities.

Data transformation toolkit

Benchmarks compilation speeds of different combinations of languages and compilers.

lambda calculus interpreter

Macro Lambda Calculus

Micro-sized & micro-optimized select component for React.js

Premake module adding support for compilation speed up through the use of the "single compilation unit" pattern, slightly modified.

Functional approach to query database using SQLAlchemy

Website for Saturn + Azure + Fable + Elmish aka SAFE-Stack

↗️ A tiny (functional) 2d linear algebra library

JSON templating on steroids

in this repository you will find codes in C and their equivalence in MIPS Assembly

A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)

Funky is a functional utility library written in Objective-C.

Dataset and Code for our CVPR'18 paper ST-CGAN: "Stacked Conditional Generative Adversarial Networks for Jointly Learning Shadow Detection and Shadow Removal"

100% Java compatibility and Functional Programming.

UNIX-like operating system written in C and C++

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

Utilities for generic functional programming

A PHP functional programming library.

Functional DI explorations in Swift

SGScript Scripting Engine

How JavaScript Promise Works

hooks for all the functions!

Coconut syntax highlighting for Sublime Text and VSCode.

My first attempt to create a compiler

Perform queries on collections in the manner of C#s System.Linq in JavaScript

Just use() code from anywhere - a functional import alternative with advanced features like inline version checks, autoreload, module globals injection before import and more.

Declarative and generic REST API framework using Codable.

A DSL for validating data in a functional fashion

Functional collections extension functions for Python

An introduction to the Lambda Calculus

TypeORM helper library enhancing safety in the compilation level

Fast strong typed 'Either' data structure for typescript and flow