Discover @pnotequalnp Open Source projects

Kevin (@pnotequalnp)

pnotequalnp

Stars
37
Global Rank 421,862 (Top 15 %)
Followers 15
Following 1
Registered almost 6 years ago
Most used languages

Haskell
70.0 %

Idris 10.0 %

Nix
10.0 %

Rust
10.0 %
Location 🇺🇸 United States
Country Total Rank 83,861
Country Ranking

Idris 74

Nix
265

Haskell
1,015

Rust
7,841

valid-reasons-to-use-java

Exhaustive list

nix-config

NixOS system configurations and Nix user configurations

cubing.rs

Rubik's cube simulation and solving

ordinis

The Language of Rows

advent-of-code

Advent of Code Framework for Haskell

topless

Convertible types

cookie-to-auth

Transform cookies into an Authorization header for Hasura

brainfuck

Configurable Brainfuck Interpreter and Optimizing Compiler with JIT

chess

Simple chess library/application

curve

Simple Discord bot in Haskell

game-of-life

Conway's game of life in Idris 2 with comonads