derpyxd's Stars
kmonad/kmonad
An advanced keyboard manager
koka-lang/koka
Koka language compiler and interpreter
binhnguyennus/awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
mdgriffith/elm-codegen
avajs/ava
Node.js test runner that lets you develop with confidence 🚀
Developer-Y/cs-video-courses
List of Computer Science courses with video lectures.
HeinrichApfelmus/reactive-banana
Library for functional reactive programming in Haskell.
swarm-game/swarm
Resource gathering + programming game
ekmett/lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
libsdl-org/SDL
Simple Directmedia Layer
zloirock/core-js
Standard Library
abalabahaha/eris
A NodeJS Discord library
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
cezaraugusto/You-Dont-Know-JS
📗📒 (PT-Br translation) JS Book Series.
BaRRaKudaRain/PCem-ROMs
This is a collection of requiered ROMs files for PCem emulator. RIP PCem 2021
ocharles/weeder
A re-implementation of weeder using HIE files
agda/agda-stdlib
The Agda standard library
mhinz/vim-galore
:mortar_board: All things Vim!
sorrycc/awesome-javascript
🐢 A collection of awesome browser-side JavaScript libraries, resources and shiny things.
passy/awesome-purescript
A curation of awesome PureScript libraries, resources and shiny things.
krispo/awesome-haskell
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
vokegpu/anubis-graphics-kit
Photo-realism rendering engine written in C++ and OpenGL.
CakeML/cakeml
CakeML: A Verified Implementation of ML
agda/cubical
An experimental library for Cubical Agda
deathkiller/jazz2
🎮 · Jazz² Resurrection: Open-source reimplementation of Jazz Jackrabbit 2
mihaimaruseac/hindent
Haskell pretty printer
TheMozg/awk-raycaster
Pseudo-3D shooter written completely in gawk using raycasting technique
nikita-volkov/hasql
The fastest PostgreSQL libpq-based driver for Haskell
reflex-frp/reflex-dom
Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.