Skip to content
View izuk's full-sized avatar
9 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report izuk

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

  • tensorflow Public

    Forked from tensorflow/tensorflow

    An Open Source Machine Learning Framework for Everyone

    C++ Apache License 2.0 Updated Oct 21, 2022

  • llvm-project Public

    Forked from llvm/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…

    Updated Aug 17, 2022

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Aug 17, 2022

  • proto-lens Public

    Forked from google/proto-lens

    API for protocol buffers using modern Haskell language and library patterns.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 17, 2022

  • agda-hott Public

    Agda BSD 2-Clause "Simplified" License Updated Feb 27, 2022

  • agda-fonts Public

    Fonts that work well with Agda.

    Python Updated Jan 27, 2022

  • tapl Public

    Agda Updated Nov 10, 2021

  • pwdhash Public

    Haskell implementation of pwdhash

    JavaScript 5 1 BSD 3-Clause "New" or "Revised" License Updated Nov 4, 2021

  • OpenLogic Public

    Forked from OpenLogicProject/OpenLogic

    An open-source, customizable intermediate logic textbook

    TeX Creative Commons Attribution 4.0 International Updated Sep 21, 2021

  • fhe Public

    Rust Apache License 2.0 Updated Sep 16, 2021

  • abelian-sandpiles Public

    HTML 1 Updated Aug 30, 2021

  • io-streams Public

    Forked from snapframework/io-streams

    Simple, composable, and easy-to-use stream I/O for Haskell

    Haskell Other Updated May 30, 2021

  • simple-cabal Public

    Forked from juhp/simple-cabal

    See README for more info

    Haskell BSD 3-Clause "New" or "Revised" License Updated Dec 20, 2020

  • hrepl Public

    Forked from google/hrepl

    Interactive development for Bazel/Haskell rules

    Haskell Apache License 2.0 Updated Mar 25, 2020

  • fishfood Public

    ESP8266 control of a LEGO motor, to drive a fish feeder.

    C++ Updated Dec 25, 2017

  • complex-base-systems Public

    HTML Updated Jan 16, 2017

  • nixos-ksp Public

    Nix expression for Kerbal Space Program.

    Nix 2 Updated Nov 9, 2016

  • fit Public

    Forked from mgiles/fit

    FIT file decoder

    Haskell BSD 3-Clause "New" or "Revised" License Updated Mar 5, 2016

  • php-erlang Public

    C 1 2 GNU Lesser General Public License v3.0 Updated Aug 22, 2015

  • tellme Public

    Status bar for XMonad etc.

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Feb 6, 2015

  • seqfreq Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 27, 2015

  • elephant-pig Public

    Haskell BSD 3-Clause "New" or "Revised" License Updated Jan 27, 2015

  • exact_cover Public

    Forked from sciolizer/exact_cover

    Algorithm X

    Haskell Updated Feb 26, 2013

  • redoak Public

    Forked from stechz/redoak

    Rapidly prototype out HTML.

    JavaScript 1 MIT License Updated Jul 26, 2012

  • subsequence Public

    Haskell 1 Other Updated Nov 1, 2011

  • mgrep Public

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Oct 30, 2011