tsoding / kgbotka

Related projects: ⓘ

• tsoding / louis
  Small library for braillizing images
  ☆17Updated 4 years ago
• tsoding / HyperNerd
  Total Surveillance Automatic Ban Machine for Twitch and Discord
  ☆145Updated 3 years ago
• tsoding / time-displacement-in-rust
  Time Displacement in Rust
  ☆10Updated 4 years ago
• ix / lazyboy
  An EDSL implemented in Haskell for programming the Nintendo Game Boy.
  ☆49Updated 11 months ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆38Updated 3 years ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated last year
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆87Updated 3 years ago
• Cloudef / mach-flake
  Flake that allows you to get started with Mach engine quickly.
  ☆12Updated 2 months ago
• tsoding / haskell-music
  Source Code from "Making Music with Haskell" video
  ☆133Updated 3 years ago
• Innf107 / vega
  A dependently typed programming language with direct style effects and linearity
  ☆18Updated last month
• KeliLanguage / vscode-lsp
  Keli extension for Visual Studio Code
  ☆10Updated 5 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆16Updated 2 years ago
• L-as / procex
  Ergonomic process launching with extreme flexibility and speed (compared to shh)
  ☆24Updated 2 years ago
• rebeccaskinner / rofi-hoogle
  Search Hoogle from Rofi
  ☆29Updated 5 months ago
• LightAndLight / ipso
  A functional scripting language.
  ☆16Updated 8 months ago
• serokell / hackage-search
  An application that lets you search for anything on Hackage
  ☆24Updated 6 months ago
• Russoul / Idris2-Lua
  Lua backend for Idris 2
  ☆27Updated 2 years ago
• tsoding / rogalik
  Simple rogue-like game in Haskell
  ☆17Updated 3 years ago
• TotallyNotChase / valida
  Simple, elegant, profunctorial, applicative validation for product types!
  ☆19Updated 3 years ago
• Ubspy / Haskell-Tetris
  Final project for EECS 368 written in Haskell
  ☆23Updated 3 years ago
• e-wrks / edh
  Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++
  ☆28Updated 3 months ago
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆37Updated 3 months ago
• phadej / cabal-fmt
  An experiment of formatting .cabal files
  ☆104Updated 3 months ago
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆49Updated 11 months ago
• xanxys / hs2bf
  Haskell to brainfuck compiler
  ☆29Updated 10 years ago
• danieljharvey / horses
  small programming language. pls be gentle.
  ☆39Updated 3 months ago
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated last year
• Unisay / purescript-lua
  Purescript compiler back-end for Lua
  ☆51Updated last week
• soupi / sdl2-snake
  An example application for sdl2.
  ☆26Updated 2 years ago
• typesanitizer / ozil
  Browsing man pages and help pages with zero friction.
  ☆35Updated 5 years ago