• Stars
    star
    54
  • Rank 544,902 (Top 11 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 10 years ago
  • Updated about 1 year ago

Reviews

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

Repository Details

Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)

More Repositories

1

freer-church

Church-encoding of the Freer monad
Haskell
29
star
2

monovm-embed-sample

Example showing how to embed .NET 6 MonoVM in a native C application
Makefile
18
star
3

hithread

Barebones example of threads on .NET for WebAssembly
JavaScript
12
star
4

sample-dotnet-wasi-vscode

A sample VS Code extension that uses .NET WASI WebAssembly
TypeScript
11
star
5

centrinel

Analyze how a C program uses memory regions
Haskell
7
star
6

JsonToItemsTask

An MSBuild Task Factory for reading JSON blobs into properties and items
C#
5
star
7

sealsharp

Experimental C# bindings for SEAL
C#
3
star
8

wasmbo

You can build anything
JavaScript
3
star
9

gust

Small language with Pierce/Turner type inference
Haskell
3
star
10

monostump

A logging utility for the Mono AOT compiler
C#
3
star
11

emile

Extensible ML for Interesting Experiments
Haskell
2
star
12

async-yield-example

Example of using IAsyncEnumerable<T>
C#
2
star
13

pro-dart

An exercise in cooperative asynchronous programming
Dart
2
star
14

dotnet-webgl-demo

Small example of using .NET WebAssembly to render WebGL
C#
2
star
15

mono-in-core

.NET 6 CoreCLR app hosting a .NET 6 MonoVM app
C#
2
star
16

eventthing

DOM event to async iterator
TypeScript
1
star
17

small

Small experimental bits and pieces
Haskell
1
star
18

indentation

mirror of https://bitbucket.org/adamsmd/indentation
Haskell
1
star
19

nodroid

C#
1
star
20

wasm-nl-no-marshal

C#
1
star
21

dnne_monovm_sample

Sample calling MonoVM using the DNNE NuGet
Makefile
1
star
22

cppguide-wip

1
star
23

react-codemirror

Now you're thinking with Portals
TypeScript
1
star
24

XLamX

Lambda calc stepper for mobile devices
F#
1
star
25

typed-seq

Type-directed sequences (ala van der Ploeg and Kiselyov)
Haskell
1
star
26

repro-coreclr-lldb

C
1
star
27

clang-compilation-database

Haskell library for working with the Clang JSON Compilation Database Format
Haskell
1
star
28

magic-const-rewriter

Replace a payload in an object file by searching for a magic constant
C#
1
star