AtticusKuhn's Stars
digitallyinduced/ihp-chat-example-app
Example project showing the project structure of a simple chat app built with IHP
ndmitchell/hlint
Haskell source code suggestions
ucsd-progsys/liquidhaskell
Liquid Types For Haskell
sol/doctest
An implementation of Python's doctest for Haskell
rgleichman/glance
A visual Haskell
viskell/viskell
Visual programming meets Haskell
haskell/mtl
The Monad Transformer Library
joaomilho/awesome-idris
𝛌 Awesome Idris resources
AtticusKuhn/colour-changer-script
this is a fun script to change the colours of a page
AtticusKuhn/tictactoe
I made tic tac toe in html
AtticusKuhn/html-game
an html game
AtticusKuhn/Primes-Problem
this is a simple primes program
AtticusKuhn/Pollard-rho
This uses the pollard rho algorithm to factor numbers
AtticusKuhn/number-to-word
This converts a number to a word
AtticusKuhn/typescript-lens
lens library in typescript
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
darklang/dark
Darklang main repo, including language, backend, and infra
GrapesJS/grapesjs
Free and Open source Web Builder Framework. Next generation tool for building templates without coding
stefan-hoeck/idris2-rhone-js
Experimental JS bindings for idris2-rhone
stefan-hoeck/idris2-todomvc
Experimental TodoMVC implementation in Idris2 using rhone-js
AtticusKuhn/js-porth
A porth to javascript compiler. Porth is a stack based language like forth.
yesodweb/wai
Haskell Web Application Interface
airportyh/fun-lang
Fun is programming language that supports both the functional and the imperative styles of programming. It distinguishes these two styles by allowing the programmer to choose between them explicitly: you can either write funs - which are pure, or procs - which are impure.
xmonad/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
eashanhatti/peridot
A fast functional language based on two level type theory
mastodon/mastodon
Your self-hosted, globally interconnected microblogging community
digitallyinduced/ihp
🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness
AtticusKuhn/indexed-length-arrays
polysemy-research/polysemy
:gemini: higher-order, no-boilerplate monads
ziglang/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.