Skip to content
View agentultra's full-sized avatar

Organizations

@hylang

Block or report agentultra

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
  • An implementation of the Wave Function Collapse algorithm in Haskell

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Jan 15, 2025
  • A Tigerbeetle database client library for Haskell

    Haskell 3 Other Updated Jan 5, 2025
  • advent Public

    My solutions to the Advent of Code challenges

    Haskell 4 BSD 3-Clause "New" or "Revised" License Updated Dec 28, 2024
  • Generate a static site from a Mastodon hashtag

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 9, 2024
  • Website for CoderCamp from Hamilton, Ontario

    SCSS Updated Sep 18, 2024
  • hiedb-mode Public

    Emacs Lisp 2 2 Updated Aug 31, 2024
  • LambdaTrek Public

    A Super-ish Trek clone written in Haskell

    Haskell 2 Other Updated Mar 13, 2024
  • 512kb.club Public

    Forked from kevquirk/512kb.club

    Website for the 512 KB Club

    HTML MIT License Updated Feb 8, 2024
  • pg-entity Public

    Forked from tchoutri/pg-entity

    A pleasant PostgreSQL database layer for Haskell

    Haskell MIT License Updated Nov 23, 2023
  • persistent Public

    Forked from yesodweb/persistent

    Persistence interface for Haskell allowing multiple storage methods.

    Haskell MIT License Updated Nov 10, 2023
  • A streaming PostgreSQL logical replication client library for Haskell

    Haskell 39 4 BSD 3-Clause "New" or "Revised" License Updated Aug 4, 2023
  • sat-solver Public

    Haskell Other Updated Jul 16, 2023
  • A repository for messing around with procgen algorithms

    Haskell MIT License Updated May 24, 2023
  • haskeroids Public

    An Asteroids clone written in Haskell

    Haskell 4 BSD 3-Clause "New" or "Revised" License Updated May 10, 2023
  • 19 3 Updated Jan 24, 2023
  • DataVersion Public

    Haskell 20 2 MIT License Updated Dec 8, 2022
  • A small text adventure game written in Haskell

    Haskell 7 1 BSD 3-Clause "New" or "Revised" License Updated Nov 2, 2022
  • OpenTelemetry support for the Haskell programming language

    Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 23, 2022
  • zig8 Public

    A Chip-8 emulator written in zig

    Zig 4 Updated Sep 15, 2022
  • Haskell BSD 3-Clause "New" or "Revised" License Updated Sep 14, 2022
  • death13k Public

    JavaScript 1 Updated Sep 13, 2022
  • snek Public

    Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Aug 3, 2022
  • An efficient finite map from (byte)strings to values.

    Haskell BSD 3-Clause "New" or "Revised" License Updated May 31, 2022
  • peridot Public

    Forked from eashanhatti/peridot

    A fast functional language based on two level type theory

    Haskell Mozilla Public License 2.0 Updated May 10, 2022
  • 🔒 A curated checklist of 300+ tips for protecting digital security and privacy in 2021

    Other Updated Apr 4, 2022
  • LeanParsec Public

    Lean 1 Updated Jan 14, 2022
  • Lean 17 2 Updated Nov 29, 2021
  • http-replay Public

    Haskell Updated Nov 16, 2021
  • lean4 Public

    Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    Lean Apache License 2.0 Updated Nov 16, 2021
  • ghcid Public

    Forked from ndmitchell/ghcid

    Very low feature GHCi based IDE

    Haskell BSD 3-Clause "New" or "Revised" License Updated Oct 10, 2021