malowebi Goto Github PK

angstrom

Parser combinators built for speed and memory efficiency

bidir-scala

A simple bidirectional type checker

bidir-type-infer

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

bidirectional.js

Javascript implementation of "Complete and Easy Bidirectional Type Checking for Higher-Rank Polymorphism"

bidirectionaltypechecking

Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

build-openssl-curl

Scripts to build OpenSSL, HTTP/2 (nghttp2) and cURL (libcurl) for MacOS, iOS and tvOS devices (x86_64, armv7, armv7s, arm64, arm64e). Now Supporting Apple Silicon, OpenSSL 1.1.1 with TLS 1.3 and Mac Catalyst builds.

chips

8-bit chip and system emulators in standalone C headers

codemirror-web-component

A web component based wrapper for CodeMirror

emu-info

Various emulator-related infos from all over the net.

esbuild

An extremely fast bundler for the web

go-nfs

golang NFSv3 server

go-nfs-client

NFS client implementation for Golang

go-xdr

Implements the XDR standard as specified in RFC 4506 in pure Google Go (Golang)

infer-rank-n-types

Type inference algorithm for arbitrary rank types.

interpreter-rankn-type-check

OCaml-like interpreter written in Haskell

memphis

A golang memory FS

mlsub

Prototype type inference engine

mlton

The MLton repository

moira

A Motorola 68000 emulator written in C++

musashi

Motorola 680x0 emulator written in C

oaf-lang

Java implementation of various type inference algorithms

papers

practical-type-inference-js

Implementation of "practical type inference for arbitrary-rank types" in Javascript

prolog_notes

Some notes taken while working on Prolog

rz80

Z80 chip family emulator library written in Rust.

swc

Rust-based platform for the Web

type-inference

The Hindley Milner Type Inference Algorithm

type-inference-1

Hindley Milner Type Inference in Rust

type-systems

Implementations of various type systems in OCaml.