SPY/idris-codegen-wasm SPY/idris-codegen-wasm

  • Stars
    star
    83
  • Rank 392,854 (Top 8 %)
  • Language
    Haskell
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SPY/idris-codegen-wasm
github

SPY

Reviews

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

Repository Details

WebAssembly Code Generation Backend for Idris Compiler

More Repositories

1

haskell-wasm

Haskell WebAssembly Toolkit
Haskell
149
star
2

nim-memcached

Memcached client for Nim programming language
Nim
4
star
3

cocos2d-typescript

Typescript binding for cocos2d-javascript library
4
star
4

haskell-otp

Implementation of Erlang OTP with Haskell green-threads system.
Haskell
3
star
5

mod_autoshop

Zotonic module for shop of auto parts
Erlang
3
star
6

node-hashmap

C++
3
star
7

elm-trader

Experimental implementation of trading terminal on Elm language
Elm
2
star
8

bwt

Effective TypeScript implementation of Burrows-Wheeler transform
TypeScript
2
star
9

rust-rbtree

test of rust language
Rust
1
star
10

schpitz

Mini canvas game
JavaScript
1
star
11

VkAudioSync

Sync audio playlists from vk.com
Haskell
1
star
12

tree-visualizer

JavaScript
1
star
13

owebidl

WebIDL parser written on OCaml
OCaml
1
star
14

react-draw

React-style drawer on canvas
JavaScript
1
star
15

rust-iff

Interchange Format Files(IFF) implementation for Rust
Rust
1
star