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

(λ) Educational lambda calculus interpreter

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

implementation of Pure Type Systems (PTS) in Rust.

λtext - higher-order file applicator

A statically-typed strictly-evaluated garbage-collected readable programming language.

Formalisation of the linear lambda calculus in Coq

Some incremental examples suitable to host an AWS Lambda Functions workshop

A library for functional programming in Rust

Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.

An interpreter for learning and exploring pure λ-calculus

十分钟魔法练习

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

🔮 Estudos obscuros de programação funcional

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

⛓️ Blockchain + Smart contracts from scratch

Lecture note on Lambda Calculus and Types for FLOLAC

Lambda calculus go brrrr

Implementation of the Fibonacci sequence in JS using pure Lambda Calculus

Abstract krivine machine implementing call-by-name semantics. In OCaml.

Automated Scripting Engine For the Modern Age

Additions to the model-based DSL for deploying Java and Native projects to remote targets

A Singer.io Target for the Stitch Import API

A Java banking API

High performance C heatmap generation library. Supposed to be wrapped by higher-level languages.

Graphics32 is a graphics library for Delphi and Lazarus. Optimized for 32-bit pixel formats, it provides fast operations with pixels and graphic primitives. In most cases Graphics32 considerably outperforms the standard TBitmap/TCanvas methods.

The ultimate hooking library

Assembly Tutorial for DOS

Manipulate the cursor in your terminal via high-performant, low-level, canvas-like API

⚡️ A fast 2kB low-level WebGL API.

Homebrew low level graphics API for Nintendo Switch (Nvidia Tegra X1)

Low level key re-programming

Implementing different RNN models (LSTM,GRU) & Convolution models (Conv1D, Conv2D) on a subset of Amazon Reviews data with TensorFlow on Python 3. A sentiment analysis project.

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

How to be low-level programmer

🚀 Making multi-player gamedev simpler since 2017

Transmits AM radio on computers without radio transmitting hardware.

Cross-platform C++ input library supporting gamepads, keyboard, mouse, touch

Write your own virtual machine for the LC-3 computer!

An educational operating system written in C#. A great stepping stone from high to low level development.

⚡️ PHP Engine Direct API

A native memory manager for .NET

A wrapper library around native windows sytem APIs

A toy monolithic kernel written in C++

A strictly-typed programming language

A super simple module for making low level queries to the Ethereum RPC layer.

🧠 SuperGreenOS home farming automation software for esp32, all in one package, and controllable from your smartphone, pc, mac, linux, toaster, plumbus, whatnot...

Clean straight forward mmap-bindings for node.js

🔱 Javascript's God Mode. No VM. No Bytecode. No GC. Just native binaries.

Portable Version of VSC with PlatformIO for Windows

🚅 Compile faster with Ccache! A Ccache integration for CMake with Xcode support.

Open-source project hosted at https://makeuseofdata.com to crowdsource a robust collection of notes related to data science (math, visualization, modeling, etc)

🐌 Tool to determine what GCC flags -march=native would resolve into