• Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 9 years ago
  • Updated over 9 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Playing around with Haskell 3D graphics libraries

More Repositories

1

narfuse

A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.
Haskell
27
star
2

eqsat

A language-generic implementation of equality saturation in Haskell
Haskell
19
star
3

wasm-agda

A typechecker for WebAssembly, written in Agda (WIP)
Agda
15
star
4

ghcjs-electron

GHCJS FFI bindings to the Electron API (WIP).
Haskell
10
star
5

typed-guile

A type system for GNU Guile Scheme (WIP)
Haskell
9
star
6

hsdm

An X11 display manager, written in Haskell. (WIP)
Haskell
8
star
7

nix-packages

The Nix packages I've made / worked on
Nix
8
star
8

chemsim

An attempt at writing a Lattice Boltzmann CFD simulator in Rust
Rust
8
star
9

cs524-actor

An unfinished implementation of actor-style concurrency in Haskell, written for UIUC CS 524
Haskell
6
star
10

spim-compiler

A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)
Idris
6
star
11

small-haskell

Small projects written in Haskell
Haskell
5
star
12

math-notes

Assorted math notes
TeX
4
star
13

twitch-osd

Show notifications for Twitch chat messages
Haskell
4
star
14

xmonad-config

My xmonad configuration
Haskell
4
star
15

libxdo

Haskell bindings to libxdo (xdotool library); WIP
Haskell
4
star
16

control-theory

A Haskell control theory project (very old and bad)
Haskell
4
star
17

survive-java

Tools for Java that make it more like Haskell
3
star
18

esp32-baremetal

C
3
star
19

ThomasEngine

A 2D top-down RPG engine written in Racket (WIP)
Racket
3
star
20

syllabus

A tool for managing and predicting grades (WIP)
Haskell
3
star
21

slib

The SLIB Portable Scheme Library (GitHub mirror)
Scheme
3
star
22

libsecret

Easy-to-use Haskell bindings for libsecret; wrapper around `gi-secret` (WIP).
Haskell
3
star
23

zerotoasic-nix

Nix scaffolding for ZeroToASIC students
Nix
3
star
24

nix-format

Automatically format Nix expressions with Emacs
Shell
3
star
25

idris-regexp

Regular expressions in Idris
Idris
2
star
26

inference

Experiments in dependent type inference
Haskell
2
star
27

atp-exercises

Solutions to https://gist.github.com/taktoa/b7d0510dd68cb2e4b296e70cbe135579
Haskell
2
star
28

libnix

Haskell bindings to the Nix API (WIP)
C++
2
star
29

strategoxt-emacs

An Emacs major mode for StrategoXT / SDF (GitHub mirror)
Emacs Lisp
2
star
30

ThermoCalc

A calculator for determining the dimensions and parameters of a thermoacoustic refrigerator
Haskell
2
star
31

idris-absint

Abstract interpretation in Idris
Idris
2
star
32

TSBannerGen

An MPD banner generator for TeamSpeak
Haskell
2
star
33

HaxxitJ

A Java clone of Spybotics: The Nightfall Incident, a highly entertaining turn-based strategy game by Lego. (very WIP)
Java
2
star
34

liquid-regex

Some experiments with regular expressions and LiquidHaskell
Haskell
2
star
35

derp

Derivative parsing for Haskell (GitHub mirror)
Haskell
2
star
36

wai-middleware-preprocessor

WAI middleware for static file preprocessors
Haskell
2
star
37

nix-parse

An executable that links into Nix and parses Nix files provided on the command line
C++
2
star
38

language-boogie

A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)
Haskell
2
star
39

dbus-teamspeak

A TeamSpeak plugin that exposes the plugin API over DBUS (deprecated in favor of https://github.com/taktoa/pianoman)
C
2
star
40

hydra-badges

A Hydra badge generator.
JavaScript
1
star
41

hskpipe

An implementation of the Shen core language (K|) in Haskell (WIP)
Haskell
1
star
42

taktoa-resume

My resume.
HTML
1
star
43

emacs-config

My emacs configuration
Emacs Lisp
1
star
44

PlaneOpt

A plane optimizer
Haskell
1
star
45

repa-mandel

A Mandelbrot generator written in Haskell with the Repa parallel array library
Haskell
1
star
46

pendulum

A simulation of a pendulum using Lagrangian mechanics, written in Haskell (WIP)
Haskell
1
star
47

monocle

Rust
1
star
48

HsCalculator

A simple calculator written in three hours in Haskell
Haskell
1
star
49

qdoc2psn

Generate purescript-native bindings from a QDoc XML file. (WIP)
Haskell
1
star
50

guile

The GNU Guile Scheme compiler and interpreter
Scheme
1
star
51

eternum.bash

A command-line client for the eternum.io API
Shell
1
star
52

CISExplorer

A Haskell API for the Course Information System of UIUC (WIP)
Haskell
1
star
53

pianoman

Experimental music bot for TeamSpeak 3 (mostly abandoned due to arcane-chat)
C++
1
star
54

xprintidle-ng

Utility for checking how long the X server has been idle
Shell
1
star
55

OscFinder

A program to find optimal component values for oscillator circuits
Haskell
1
star
56

ThomasEngine2

A top-down 2D game engine written in Guile (WIP)
Scheme
1
star
57

cpufreq

Haskell FFI bindings for libcpufreq (cpufrequtils)
Haskell
1
star
58

TSBot

A TeamSpeak 3 bot written in Haskell (deprecated in favor of https://github.com/taktoa/pianoman)
Haskell
1
star
59

SpaceElevator

A simulator for breaking space elevators (and a mirror of an equivalent C program) (WIP)
C
1
star
60

TSLogAnalyzer

Analyzes TeamSpeak 3 server logs
Haskell
1
star
61

useful

Useful information that I often look up
Scheme
1
star
62

nix-utils

Scripts for various purposes in Nix/NixOS (WIP)
1
star
63

pipes-trifecta

Use trifecta parsers with pipes-parse
Haskell
1
star
64

SatOpt

A satellite optimizer
Haskell
1
star
65

pegc

A parser generator, similar to BNFC, that takes a parsing expression grammar and outputs PEGTL C++ for it. (WIP)
Haskell
1
star