Skip to content
View AtelierSnek's full-sized avatar
2 followers · 3 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report AtelierSnek

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
AtelierSnek/README.md
  • 👋 Hi, We’re @AtelierSnek
  • 👀 We’re interested in Functional Programming, Category Theory, Game Engines, FPGAs, & Reprogrammable Hardware
  • 🌱 We’re currently learning Haskell, Scala 3
  • 💞️ We’re looking to collaborate on FPGA Projects, Engines, or other functional programming projects.
  • We're currently working on a functional type-safe game engine based on John Carmack's QuakeCon 2013 talk. Still in very early prototype stages.
    • Used to be in Haskell, but progress has slowed due to the abstraction being extremely unwieldy, and higher-kinded type errors being arcane.
    • Scala 3 currently looks promising for porting data over.
    • Also contemplating using an FFI and separating world simulation from interaction with the user for seperation of concerns reasons.

Popular repositories Loading

  1. dice-stats dice-stats Public

    A dice statistics module for Haskell

    Haskell

  2. AtelierSnek AtelierSnek Public

    Config files for our GitHub profile.

  3. pulsar pulsar Public

    An ECS and (eventually) game in Scala 3

    Scala

  4. dotfiles dotfiles Public

    Our dotfiles, for when we (or others) need them.

    Vim Script

  5. snek-tech-blog snek-tech-blog Public

    Source code for a tech blog about all the various shenanigans our system gets up to.

    HTML

  6. mastodon mastodon Public

    Forked from glitch-soc/mastodon

    A glitchy but lovable microblogging server

    Ruby