Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by lambdageek

A curated list of projects in awesome lists by lambdageek .

https://github.com/lambdageek/unbound-generics

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

bound ghc-generics haskell-library substitution unbound variable-binding

Last synced: 26 Oct 2024

https://github.com/lambdageek/freer-church

Church-encoding of the Freer monad

Last synced: 13 Oct 2024

https://github.com/lambdageek/monovm-embed-sample

Example showing how to embed .NET 6 MonoVM in a native C application

dotnet dotnet-core embedding mono net5 net6 sample-code sample-project

Last synced: 13 Oct 2024

https://github.com/lambdageek/hithread

Barebones example of threads on .NET for WebAssembly

Last synced: 13 Oct 2024

https://github.com/lambdageek/sample-dotnet-wasi-vscode

A sample VS Code extension that uses .NET WASI WebAssembly

Last synced: 13 Oct 2024

https://github.com/lambdageek/monostump

A logging utility for the Mono AOT compiler

Last synced: 28 Oct 2024

https://github.com/lambdageek/centrinel

Analyze how a C program uses memory regions

haskell language-c region-inference static-analysis

Last synced: 13 Oct 2024

https://github.com/lambdageek/jsontoitemstask

An MSBuild Task Factory for reading JSON blobs into properties and items

Last synced: 13 Oct 2024

https://github.com/lambdageek/gust

Small language with Pierce/Turner type inference

Last synced: 13 Oct 2024

https://github.com/lambdageek/async-yield-example

Example of using IAsyncEnumerable<T>

Last synced: 13 Oct 2024

https://github.com/lambdageek/mono-in-core

.NET 6 CoreCLR app hosting a .NET 6 MonoVM app

Last synced: 13 Oct 2024

https://github.com/lambdageek/emile

Extensible ML for Interesting Experiments

Last synced: 13 Oct 2024

https://github.com/lambdageek/pro-dart

An exercise in cooperative asynchronous programming

asynchronous-programming coroutines dart dartlang

Last synced: 13 Oct 2024

https://github.com/lambdageek/react-codemirror

Now you're thinking with Portals

Last synced: 13 Oct 2024

https://github.com/lambdageek/nodroid

Last synced: 13 Oct 2024

https://github.com/lambdageek/xlamx

Lambda calc stepper for mobile devices

Last synced: 13 Oct 2024

https://github.com/lambdageek/indentation

mirror of https://bitbucket.org/adamsmd/indentation

haskell-library indentation indentation-parsing parsec parsing trifecta

Last synced: 13 Oct 2024

https://github.com/lambdageek/dnne_monovm_sample

Sample calling MonoVM using the DNNE NuGet

Last synced: 13 Oct 2024

https://github.com/lambdageek/clang-compilation-database

Haskell library for working with the Clang JSON Compilation Database Format

aeson clang haskell

Last synced: 13 Oct 2024

https://github.com/lambdageek/eventthing

DOM event to async iterator

Last synced: 13 Oct 2024

https://github.com/lambdageek/small

Small experimental bits and pieces

Last synced: 13 Oct 2024

https://github.com/lambdageek/typed-seq

Type-directed sequences (ala van der Ploeg and Kiselyov)

Last synced: 13 Oct 2024

https://github.com/lambdageek/hybrid-suspend-latex

Writeup about Mono's hybrid suspend

Last synced: 13 Oct 2024

https://github.com/lambdageek/memento-experiment

Experiment in abstracting the Memento design pattern into a reusable C++ template

Last synced: 13 Oct 2024

https://github.com/lambdageek/travel-notes

Poorly researched opinionated travel notes

Last synced: 13 Oct 2024

https://github.com/lambdageek/shared-int

Exercise in Backpack

Last synced: 13 Oct 2024

https://github.com/lambdageek/pehelloworld

Learning to use SRM.Ecma335

Last synced: 13 Oct 2024

https://github.com/lambdageek/wasm-thingie

Try to make wasm do a thing

Last synced: 13 Oct 2024

https://github.com/lambdageek/trace2txt

some utilities for working with .nettrace files

Last synced: 13 Oct 2024

https://github.com/lambdageek/two-level-lex

A peculiar little language

Last synced: 13 Oct 2024

https://github.com/lambdageek/naothello

Experiment with NativeAOT static libs

Last synced: 13 Oct 2024

https://github.com/lambdageek/maath

WebAssembly demo using MathNet.Numerics.LinearAlgebra

Last synced: 13 Oct 2024

https://github.com/lambdageek/dot-emacs

My .emacs.d/init.el

dotemacs dotfiles elisp emacs

Last synced: 13 Oct 2024

https://github.com/lambdageek/docker-haskell-multistage-sample

Sample Haskell project using a multi-stage Dockerfile for build and deployment

docker dockerfile haskell sample

Last synced: 13 Oct 2024

https://github.com/lambdageek/aswy

aswy

Last synced: 13 Oct 2024

https://github.com/lambdageek/centrinel-report

Pretty report for centrinel

Last synced: 13 Oct 2024

https://github.com/lambdageek/blank-reveal

Skeleton Reveal.js presentation

Last synced: 13 Oct 2024

https://github.com/lambdageek/auto-blah-cpp

autotools exploration...

Last synced: 13 Oct 2024

https://github.com/lambdageek/webcil-writer

Embed .NET assemblies in a custom container

Last synced: 13 Oct 2024

https://github.com/lambdageek/com-samples

COM interop samples

Last synced: 13 Oct 2024

https://github.com/lambdageek/grr

grr: git run root - run a file in the git repo root, with tab completion

git shell shell-script tab-completion

Last synced: 13 Oct 2024

https://github.com/lambdageek/genny

An example source generator

Last synced: 13 Oct 2024

https://github.com/lambdageek/dl0

Last synced: 13 Oct 2024

https://github.com/lambdageek/cdy

Last synced: 13 Oct 2024

https://github.com/lambdageek/alcdel

Last synced: 13 Oct 2024

https://github.com/lambdageek/dotnet-webgl-demo

Small example of using .NET WebAssembly to render WebGL

Last synced: 13 Oct 2024

https://github.com/lambdageek/wafl

a yummy wafl

anf haskell language

Last synced: 13 Oct 2024

https://github.com/lambdageek/modext

adding things

Last synced: 13 Oct 2024

https://github.com/lambdageek/sparse

Linux kernel static analyzer for C (Upstream: git://git.kernel.org/pub/scm/devel/sparse/sparse.git)

Last synced: 13 Oct 2024

https://github.com/lambdageek/orde-rs

Last synced: 13 Oct 2024

https://github.com/lambdageek/lambdageek

About

Last synced: 13 Oct 2024