Skip to content
View robrix's full-sized avatar
🌊
every dot and stroke I paint will be alive
🌊
every dot and stroke I paint will be alive
1.3k followers · 18 following

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx4

Highlights

  • Pro

Block or report robrix

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

  • semilattices Public

    join and meet semilattices, lower and upper bounds.

    Haskell 43 7 BSD 3-Clause "New" or "Revised" License Updated Mar 7, 2024

  • crocus Public

    a datalog

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

  • seq Public

    a µµ̃ calculus with pretty-printing and evaluating interpreters

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

  • derivative-parsing Public

    Parsing with Derivatives, in Haskell, with GADTs.

    Haskell 5 1 BSD 3-Clause "New" or "Revised" License Updated Jun 14, 2022

  • isometry Public

    programmatic voxels

    Haskell 12 1 BSD 3-Clause "New" or "Revised" License Updated Mar 28, 2022

  • sequoia Public

    classical sequent calculus, embedded in Haskell

    Haskell 19 1 1 issue needs help Updated Mar 8, 2022

  • silkscreen Public

    Prettyprinting transformers for rainbow parens, precedence, etc.

    Haskell 16 BSD 3-Clause "New" or "Revised" License Updated Feb 27, 2022

  • dotfiles Public

    the very dottest of files 💻

    Shell 9 1 Updated Feb 24, 2022

  • robrix.github.io Public

    Words by me

    HTML 4 Updated Feb 23, 2022

  • continuations Public

    Continuations, CPS, co-functions, and combinators for working with them

    Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Aug 14, 2021

  • effect-calculus Public

    Specification and implementation of an effect calculus

    Haskell BSD 3-Clause "New" or "Revised" License Updated Aug 13, 2021

  • these Public

    Forked from haskellari/these

    An either-or-both data type, with corresponding hybrid error/writer monad transformer.

    Haskell Updated Mar 12, 2021

  • starlight Public

    spaceships in space

    game haskell opengl
    Haskell 72 3 BSD 3-Clause "New" or "Revised" License Updated Oct 25, 2020

  • interval-functor Public

    General purpose intervals of functors.

    Haskell 6 1 BSD 3-Clause "New" or "Revised" License Updated Sep 14, 2020

  • lingo-haskell Public

    Forked from tclem/lingo-haskell
    Haskell BSD 3-Clause "New" or "Revised" License Updated Jul 20, 2020

  • haskell-opentype Public

    Forked from kuribas/haskell-opentype

    truetype loading and writing in haskell

    Haskell MIT License Updated Jul 18, 2020

  • lambdaft Public

    Haskell 1 Updated Jun 29, 2020

  • languages-all-the-way-down Public

    outline & examples for my ZuriHac 2020 talk, Languages All the Way Down

    Haskell 20 Updated Jun 12, 2020

  • language-haskell Public

    Forked from JustusAdam/language-haskell

    Highlighting support for the Haskell language in visual studio code.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Mar 30, 2020

  • tilec Public

    Sometimes when I feel sad I implement a dependently typed lambda calculus.

    dependent-types compiler
    Haskell 15 1 BSD 3-Clause "New" or "Revised" License Updated Mar 26, 2020

  • semiring-parsing Public

    Parsing in semirings

    Haskell 3 BSD 3-Clause "New" or "Revised" License Updated Mar 24, 2020

  • path Public

    A lambda calculus to explore type-directed program synthesis.

    Haskell 83 2 BSD 3-Clause "New" or "Revised" License Updated Jan 20, 2020

  • swagger2 Public

    Forked from GetShopTV/swagger2

    Swagger 2.0 data model.

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 3, 2019

  • dragon Public

    Renders iterations of the dragon curve to SVG

    Haskell 9 BSD 3-Clause "New" or "Revised" License Updated Jun 16, 2019

  • elab Public

    Dependently-typed language to experiment with An Algebraic Approach to Typechecking and Elaboration

    Haskell 4 BSD 3-Clause "New" or "Revised" License Updated Mar 10, 2019

  • cabal-action Public

    GitHub Actions for cabal new-build

    Dockerfile 1 BSD 3-Clause "New" or "Revised" License Updated Mar 6, 2019

  • synth Public

    Audio synthesis and sequencing

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Nov 23, 2018

  • raytracer Public

    A toy raytracer in Haskell

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Oct 28, 2018

  • Manifold Public

    Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.

    Haskell 18 BSD 3-Clause "New" or "Revised" License Updated Oct 12, 2018

  • text-gl Public

    Text, rendered with OpenGL.

    Haskell 5 BSD 3-Clause "New" or "Revised" License Updated Sep 3, 2018