1566 Open source projects that are alternatives of or similar to Write You A Haskell

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)

Interpreter framework for Lisp-based extension and scripting languages on macOS and iOS. LispKit is based on the R7RS standard for Scheme. Its compiler generates bytecode for a virtual machine. LispKit is fully implemented in Swift 5.

QuickJS是一个小型并且可嵌入的Javascript引擎，它支持ES2020规范，包括模块，异步生成器和代理器。

Homotopy Type Theory proofs in Idris

Generate Erlang VM byte code from Haskell

📖 A collection of pure POSIX sh alternatives to external processes.

C compiler toolchain in Rust. [WIP, early development stage]

A macro for defining type operators in Rust.

[WIP] A type system for nix

a slightly higher-level language superset of webassembly

Discourse Based Evaluation of Language Understanding

Haskell in S-expression

Go Tutorials - Let's get our hands really dirty by writing a lot of Golang code

swc is a super-fast compiler written in rust; producing widely-supported javascript from modern standards and typescript.

Logical manifestations of topological concepts, and other things. This version adopts the univalent point of view.

GLSL parser for Rust

Metaprogramming. Multi-paradigm approach in the Software Engineering.

Beef Programming Language

Software for verifying weather forecasts

Go compiler made from scratch, which can compile itself. It's going to be the smallest and simplest go compiler in the world.

Issue handling for Evidence-based Software Engineering: based on the publicly available data

A categorical programming language with effects

No description or website provided.

Toy C compiler

Resolving Swagger/OpenAPI 2.0 and 3.0 Parser

Evaluate results from ASR/Speech-to-Text quickly

The TenDRA Project

Ruby Web Dev: The Other Way. Personal best practices guide.

Python LESS compiler

A simple runtime JSON type checker.

First fully featured programming language for Stack Overflow Driven Development

Rmarkdown for Scientists

自制的一个编译器， 用于学习，完整实现了词法分析，语法分析，中间代码（SSA）生成，机器码生成，和基于寄存器的虚拟机

Fact Extraction and VERification baseline published in NAACL2018

Python Single Object Tracking Evaluation

Compiler written for PL0 programming Language. Written in C, for COP3402 class from UCF.

Evaluate your word embeddings

The Flint Programming Language for Smart Contracts

ترجمة لدرس تعلّم البرمجة بلغة السي الخاص بموقع OpenClassrooms

A Haskell to WebAssembly compiler

SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory

A simple plugin that allows running mypy from PyCharm and navigate between errors

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

Cranelift code generator

Contextual Bandits in R - simulation and evaluation of Multi-Armed Bandit Policies

evilfactorylabs handbook

Official mirror of https://gitlab.com/lfortran/lfortran. Please submit pull requests (PR) there. Any PR sent here will be closed automatically.

Import OCaml programs to Coq 🐓 🐫

🦜 yair - a high-level compiler IR entirely written in Rust

A build-time information stored in your rust project.(binary,lib,cdylib,dylib)

📖 【译】操作系统思考

A successful open source project is not only one that is original, solves a particular problem well, or has pristine code quality. Those are but the tip of the iceberg, which we'll thoroughly dissect with this book.

👾 Sokoban Game in Pure TypeScript Type System

[MERGED UPSTREAM] AVR backend for the LLVM compiler library

Elm compiler written in Elm

The compilation target that functional programmers always wanted.

An ML-like functional programming language

A C compiler written in Rust, with a focus on good error messages.

🏊 Dive into ES6 and the future of JavaScript

🚂✋📖 - Learn the choo framework through a set of exercises