sdiehl/wasm

This repository has been archived on 16/Aug/2018
Stars
358
Rank 118,855 (Top 3 %)
Language WebAssembly
License
MIT License
Created almost 9 years ago
Updated almost 7 years ago

sdiehl/wasm

sdiehl

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Haskell compiler infastructure for WebAssembly

Haskell WebAssembly

A WebAssembly AST, parser, and assembler in Haskell for use in functional compiler backends targeting WebAssembly.

Warning, still a big work in progress.

Codebase

Core modules

Entry - Driver
Syntax - Frontend AST
Parser - Parser
Lexer - Lexer
Pretty - Textual Format
Binary - Binary Format
Test - Test suite

Usage

import Language.Wasm.Syntax
import Language.Wasm.Binary
import Language.Wasm.Parser

write-you-a-haskell

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

wiwinwlh

What I Wish I Knew When Learning Haskell

kaleidoscope

Haskell LLVM JIT Compiler Tutorial

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

numpile

A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

Jupyter Notebook

gevent-tutorial

Gevent tutorial for the Working Python Developer

tinyjit

minichat

Minimal realtime chat application ( Tutorial )

kaylee

MapReduce with ZeroMQ

repline

Haskeline wrapper for GHCi-like REPL interfaces

papers

popping-the-crypto-bubble

A no holds barred and unrelenting hatchet job of the crypto community, with all its bad ideas and bad actors put into a historical context of market manias and financial populism.

dive-into-ghc

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs

cabal-edit

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.

haskell-vim-proto

Basic starter config for Vim and Haskell

double-ratchet

Double ratchet algorithm for E2E encryption

pairing

Optimised bilinear pairings over elliptic curves

zeromq-chat

A gevent + Django + Socket.IO + ZeroMQ chat example

galois-field

Finite field and algebraic extension field arithmetic

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures

pynanomsg

Python bindings for nanomsg

sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

subpy

elliptic-curve

A polymorphic interface for elliptic curve operations

vim-ormolu

Plugin for formatting Haskell source code

llvm-tutorial-standalone

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )

oblivious-transfer

Oblivious transfer for multiparty computation

cats

Generate commutative diagrams inside of Pandoc with Tikz

hakyll-bootstrap

Basic Hakyll + Bootstrap site

pyrewrite

Python term rewriting

paris-fp

Paris Functional Programming Meetup

dotfiles

My config files

llvm-codegen

Code generation utils for LLVM

numpush

Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )

shamir

Shamir Secret Sharing

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms

datetime

Financial datetimes and holiday recurrence rules

haskell-picosat

Haskell bindings for PicoSAT solver

haskell-warp-rest

A Haskell web application using acid-state and scotty

vim-cabalfmt

Cabal-fmt vim plugin for formatting Cabal package files

picologic

Symbolic logic expressions

jquery-mathml

Superset of jQuery for working with MathML

cooking-generics

http://www.stephendiehl.com/posts/generics.html

print

Simple printing with Text

beamer_template

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.

haskell-linenoise

Lightweight readline library for Haskell

llvm-pp

A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )

gevent_viz

Visualize gevent Greenlet context switches

bnlc

Binary lambda calculus

pycraig

Python library for scraping data from Craigslist

commentary

ts

validation

Applicative data validation

cfrac

Continued fractions for arithmetic

concurrent-timer

Concurrent timer

websocket-logger

A in-browser logging console for debugging realtime communication

agents-experiment

unirewrite

Generic term rewriting

tipy

Preprocessor for Python tutorials

equation-editor

A lightweight extensible Javascript equation editor

pretty-latex

Utilities for pretty printing LaTeX from Haskell

py-control-flow

Visualize python control flow

pure-python

Cython interface for Pure

church-numbers

Lambda Calculus in Python

vector-eigenvalues

pymathml

Fork of sourceforge.net/projects/pymathml

rpygtk

A GTK based frontend for R