Pinned Repositories
Blog
It's a blog. Insert clever Haskell type signature here.
clash-ground
Experiments with CλaSH
dynamic-loader
Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
EuroLLVM-Waymarking
Slides for talk
fibonacci
Fibonacci in lots of different languages
gdiff
leleka
Trainer für Lelê
omega
Automatically exported from code.google.com/p/omega
seminar-opetope
Short Intro to Opetopes
thebook-haskell
Electronic order book in Haskell (NOTE: cloned from original author, meanwhile original is gone)
ggreif's Repositories
ggreif/aquamacs-web-site
The homepage of Aquamacs!
ggreif/atom-swift-debugger
ggreif/dfinity-vue
🌱 Vue.js integration with DFINITY SDK bootstrap webpack project.
ggreif/dune
A composable build system for OCaml.
ggreif/hyperfunctions
playing with hyperfunctions
ggreif/hypertypes
ggreif/ic
Internet Computer blockchain source: the client/replica software run by nodes
ggreif/ic-hs
A haskell toolbox for the Internet Computer
ggreif/ic_devs_org_tutorials
This repo contains the tutorials developed by/for ICDevs.org.
ggreif/incredible
The Incredible Proof Machine
ggreif/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
ggreif/motoko
Simple high-level language for writing Internet Computer canisters
ggreif/motoko-outcalls-proxy
Simple example of motoko outcalls
ggreif/motoko-token-canister
motoko-token-canister with claim functions for eligible users
ggreif/niv-updater-action
A GitHub Action that creates meaningful pull requests with updates to your niv-managed dependencies, so you don't have to do menial chores.
ggreif/nix-quill
Nix Flake for Quill.
ggreif/nixpkgs
Nix Packages collection
ggreif/nixpkgs-mozilla
Mozilla overlay for Nixpkgs.
ggreif/opetopic
Web based opetopic editor
ggreif/quill
Minimalistic governance & ledger toolkit for cold wallets
ggreif/radu-matei.github.io
My blog
ggreif/read-file-action
Read file contents
ggreif/sha2
Optimized implementation of all SHA2 functions
ggreif/spec
WebAssembly specification, reference interpreter, and test suite.
ggreif/upload-release-action
Upload files to a GitHub release
ggreif/viper-ide
This is the main repository for the Viper IDE extension for VS Code.
ggreif/vscode-lldb
A native debugger extension for VSCode based on LLDB
ggreif/vscode-motoko
The VSCode extension for Motoko
ggreif/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
ggreif/winter
Haskell port of the WebAssembly OCaml reference interpreter