133 Open source projects that are alternatives of or similar to BOHM1.1

λtext - higher-order file applicator

🔮 Play with ECMAScript compilers

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

OneLang: The One System Programming Language. (release as soon)

🐦 Some combinators

Documentation of everything relevant in the OCaml world

lambda calculus interpreter

Clang C/C++ cross compiler and runtime for OpenEmbedded/Yocto Project

Formalisation of the linear lambda calculus in Coq

LLVM Profiling Visualization

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

Component development environments for the Bit community

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Curated list of open-source quantum software projects.

Macro Lambda Calculus

Intel® Scalable Dataframe Compiler for Pandas*

A library for functional programming in Rust

A small C11 compiler

Minimalistic dependent type theory with syntactic metaprogramming

Compiler infrastructure and toolchain library for WebAssembly

⛪️ Church Encoding in JS

You might not need your garbage collector

An inference engine for extensional untyped λ-calculus

A list of compilers that can generate C code

An interpreter for learning and exploring pure λ-calculus

BNF wrangling and railroad diagrams

An interactive theorem prover based on lambda-tree syntax

GCC Installer for OSX! Without Xcode!

LLVM pass that detects one undefined behavior, and emits code to delete your hard drive

My course design for compiler theory (Visualization).

A minimalist pure lazy functional programming language

Curated Computer Science and Programming Resource Guide

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

A curated list of awesome resources and learning materials in the field of X internals

Dependency injection example using higher order functions

CK repository with components and automation actions to enable portable workflows across diverse platforms including Linux, Windows, MacOS and Android. It includes software detection plugins and meta packages (code, data sets, models, scripts, etc) with the possibility of multiple versions to co-exist in a user or system environment:

Fun with λ calculus!

Kotlin Language Support – AST Library

No longer being supported or maintained. A Graph Theory & Data Structure Library for JavaScript.

Beast language compiler & reference

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

Python interface for MLIR - the Multi-Level Intermediate Representation

redux-saga helper functions to await dispatched actions

tiny-lang — A different programming language. Supports a bunch of spoken languages.

A modern proof language

Open Optimizing Parallelizing System

Never: statically typed, embeddable functional programming language.

Disciplina de Compiladores (INF01147) - INF/UFRGS

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

The Lua programming language, implemented in Rust.

advanced compilers

Python Compiler

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

Bolt is a language with in-built data-race freedom!

Efficient and single-steppable ULC evaluation algorithm

🦩 Tools for Go projects

Coq formalizations of functional languages.

implementation of Pure Type Systems (PTS) in Rust.

Lecture note on Lambda Calculus and Types for FLOLAC

Python module for interfacing with the CQC t|ket> library of quantum software