Skip to content
View glaebhoerl's full-sized avatar
72 followers · 292 following

Block or report glaebhoerl

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • glaebhoerl.github.io Public

    glaebhoerl.website

    HTML Updated Dec 15, 2023

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix Other Updated Aug 9, 2020

  • LeechBlockNG Public

    Forked from proginosko/LeechBlockNG

    LeechBlock NG (Next Generation) for Firefox is a simple productivity tool designed to block those time-wasting sites that can suck the life out of your working day. All you need to do is specify wh…

    JavaScript Mozilla Public License 2.0 Updated Jul 13, 2020

  • simplecompiler Public

    used to be something more ambitious, cut scope to just a simple compiler for thesis project

    Haskell 17 MIT License Updated Jan 14, 2019

  • odds-and-ends Public

    this, that, and maybe the other

    C++ 2 MIT License Updated Nov 18, 2018

  • vscode-rust Public

    Forked from editor-rs/vscode-rust

    Rust for Visual Studio Code

    TypeScript MIT License Updated Apr 29, 2017

  • ghc-proposals Public

    Forked from bgamari/ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    Updated Oct 16, 2016

  • hs-zabt Public

    Forked from tel/hs-zabt

    Simple-minded abstract binding trees (Haskell)

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 9, 2016

  • a-stateful-mir-for-rust Public

    Forked from Ericson2314/rust-papers

    An enrichment of Rust's core language to support more advanced features

    Updated Jun 24, 2016

  • rfcs Public

    Forked from rust-lang/rfcs

    RFCs for changes to Rust

    1 1 Updated Jun 20, 2016

  • type-eq Public

    Type equality evidence you can carry around

    Haskell 5 2 Other Updated Jun 20, 2016

  • ducks Public

    These are my notes about the ideas I had for a statically structurally typed programming language, many years ago

    6 1 Updated Dec 8, 2015

  • rust-notes Public

    7 1 Updated Jan 23, 2015

  • rust Public

    Forked from rust-lang/rust

    a safe, concurrent, practical language

    Rust Other Updated Mar 16, 2014

  • rust-frp Public

    Unsophisticated push-based FRP library in Rust

    Rust 6 1 MIT License Updated Dec 24, 2013

  • cplusplus-frp Public

    Unsophisticated push-based FRP library in C++11

    C++ MIT License Updated Dec 23, 2013

  • data-nat Public

    data Nat = Zero | Succ Nat

    Haskell Other Updated Sep 23, 2012

  • phasechange Public

    Freezing, thawing, and copy elision

    Haskell Other Updated Jun 30, 2012

  • exists Public

    Existential datatypes holding evidence of constraints

    Haskell 1 2 Other Updated May 15, 2012