madjestic Goto Github PK

.emacs.d

my emacs setup

agda

Agda is a dependently typed programming language / interactive theorem prover.

antons_opengl_tutorials_book

Anton's OpenGL 4 Tutorials book - Demo Code

asciichart

ASCII line charts in terminal ╭┈╯ Haskell port of kroitor/asciichart

b1

B1 is stock chart viewer written in Haskell using the OpenGL, GLFW, and FTGL bindings.

bootstrap

Sleek, intuitive, and powerful front-end framework for faster and easier web development.

category_theory_for_programmers_challenges

My solutions to Bartosz Milewski "Category Theory for Programmers" challenges.

coinbase-pro

API for Coinbase Pro

dear-imgui.hs

Haskell bindings to Dear ImGui, an immediate mode GUI toolkit

demoscene

Demoscene: Lambda Team

despace

A small utility to replace spaces in a file-name with '_' i.e. $ foo bar -> $ foo_bar

dot.files

sys config files

e1337

A Shader-Toy on steroids and a space-time-sim game, inspired by Strugatskis "Noon, XXII century".

e1338

a re-write of e1337 with BearRiver (and, maybe, MVars)

e1339

a re-write of e1338 in lampvy haskell style (with monad transformers, sleep(), no FRP libs)

e1340

A 1337 wtih RedViz

e1341

a rewrite of e1340 space-sim game in terms of MSFs

entropy

data sorting and visualization software

euterpea

euterpea2

Euterpea version 2

euterpea25

an attempt to bring Euterpea project up to the modern haskell, cabal tooling standards

fixer-io

JSON API for foreign exchange rates and currency conversion

frag

Frag is a 3D first person shooting game written in Haskell, by Mun Hon Cheong

free-game

Create something graphical with free monads

gems

useful haskell snippets

gentoo-haskell

official gentoo haskell overlay

ggtd

Graphy getting-things-done cli application

ghc-mod

Happy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines

glmat

Matrix library adapted for use with OpenGL

glut

Haskell bindings to GLUT