Skip to content
View z5h's full-sized avatar
🕳️
🕳️
43 followers · 48 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Highlights

  • Pro

Block or report z5h

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

  • elm-stream Public

    Elm Stream API

    Elm 1 MIT License Updated Aug 22, 2024

  • fisher Public

    Forked from jorgebucaran/fisher

    A plugin manager for Fish

    Shell MIT License Updated Apr 7, 2024

  • TypesAndProofs Public

    Forked from ptarau/TypesAndProofs

    Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems

    Prolog Apache License 2.0 Updated Mar 30, 2024

  • ichiban-prolog Public

    Forked from ichiban/prolog

    The only reasonable scripting engine for Go.

    Go MIT License Updated Feb 18, 2024

  • interactive-lp Public

    Forked from chrisamaphone/interactive-lp

    Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

    Standard ML Other Updated Jan 25, 2024

  • byrne-euclid Public

    Forked from jemmybutton/byrne-euclid

    MetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

    TeX GNU General Public License v3.0 Updated Oct 4, 2023

  • elmboy Public

    Forked from Malax/elmboy

    A Nintendo™ Game Boy™ Emulator written in Elm.

    Elm GNU Affero General Public License v3.0 Updated Jul 19, 2023

  • timeline-spa Public

    timeline and elm-spa integration test

    Elm MIT License Updated Dec 11, 2022

  • elm-ui Public

    Forked from mdgriffith/elm-ui

    What if you never had to write CSS again?

    Elm BSD 3-Clause "New" or "Revised" License Updated Sep 8, 2022

  • LogicTransformers Public

    Forked from ptarau/LogicTransformers

    Transformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs

    Prolog Apache License 2.0 Updated May 3, 2022

  • lazy-list Public

    Forked from the-sett/lazy-list

    Lazy Lists (or Sequences) for Elm

    Elm BSD 3-Clause "New" or "Revised" License Updated Oct 27, 2021

  • timeline Public

    Timeline helps you add smooth transition animations to Elm programs.

    Elm 7 1 MIT License Updated Apr 19, 2021

  • elm-optimize-level-2 Public

    Forked from mdgriffith/elm-optimize-level-2
    TypeScript BSD 3-Clause "New" or "Revised" License Updated Mar 6, 2021

  • prolog-chess Public

    Forked from thepieterdc/prolog-chess

    Chess in Prolog

    Prolog Updated Jan 13, 2021

  • PGM Public

    Forked from eventhorizon02/PGM

    a chess engine in prolog

    Prolog Updated Nov 25, 2020

  • component-result Public

    Streamline sub-component and page boilerplate in larger Elm apps.

    Elm 12 2 MIT License Updated Oct 27, 2020

  • jaro-winkler Public

    Elm implementation of Jaro-Winkler similarity.

    Elm 4 1 MIT License Updated Jun 9, 2020

  • zipper Public

    A Zipper useful for navigating into nested records, mapping a value, and returning the updated result.

    Elm 1 MIT License Updated Nov 15, 2019

  • z5h.pivot Public

    CommonJS pivot table

    JavaScript 1 1 MIT License Updated Sep 9, 2019

  • json.pivot Public

    Perform Pivot (sorting & table-building) operations on JSON data.

    JavaScript 53 14 Updated Sep 9, 2019

  • helm Public

    Forked from mtytel/helm

    Helm - a free polyphonic synth with lots of modulation

    C++ GNU General Public License v3.0 Updated Aug 20, 2019

  • TMDb-Elm Public

    Example Elm interface to TMDb themoviedb.org

    Elm 4 BSD 2-Clause "Simplified" License Updated Apr 3, 2019

  • z5h.github.io Public

    personal site

    CSS Updated Feb 9, 2019

  • elm-diff Public

    Forked from jinjor/elm-diff

    A diff implementation for Elm

    Elm BSD 3-Clause "New" or "Revised" License Updated Sep 1, 2018

  • elm-spa-example Public

    Forked from rtfeldman/elm-spa-example

    A Single Page Application written in Elm

    Elm MIT License Updated Jul 26, 2018

  • elm-comidi Public

    Forked from newlandsvalley/elm-comidi

    MIDI parser in pure elm

    Elm BSD 3-Clause "New" or "Revised" License Updated May 27, 2018

  • awesome-parenting Public

    Forked from davidpelayo/awesome-parenting

    Parenting information & advice for expectant fathers. The first worldwide collaborative fatherhood guide

    MIT License Updated May 8, 2018

  • elm-oottp Public

    Elm app inspired by the paper "Out of the Tar Pit"

    Elm 3 2 MIT License Updated May 8, 2018

  • elm-external-domain-model Public

    A sample Elm app where the domain data lives outside of the Elm app (e.g. a database over a network).

    JavaScript 2 MIT License Updated Apr 19, 2018

  • list-extra Public

    Forked from elm-community/list-extra

    Convenience functions for working with List.

    Elm MIT License Updated Aug 17, 2016