• Stars
    star
    10
  • Rank 1,807,489 (Top 36 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 7 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

GHCJS FFI bindings to the Electron API (WIP).

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

typed-guile

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

hsdm

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

nix-packages

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

chemsim

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

cs524-actor

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

spim-compiler

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

small-haskell

Small projects written in Haskell
Haskell
5
star
11

math-notes

Assorted math notes
TeX
4
star
12

twitch-osd

Show notifications for Twitch chat messages
Haskell
4
star
13

xmonad-config

My xmonad configuration
Haskell
4
star
14

libxdo

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

control-theory

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

survive-java

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

esp32-baremetal

C
3
star
18

ThomasEngine

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

syllabus

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

slib

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

libsecret

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

zerotoasic-nix

Nix scaffolding for ZeroToASIC students
Nix
3
star
23

nix-format

Automatically format Nix expressions with Emacs
Shell
3
star
24

idris-regexp

Regular expressions in Idris
Idris
2
star
25

inference

Experiments in dependent type inference
Haskell
2
star
26

atp-exercises

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

libnix

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

strategoxt-emacs

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

ThermoCalc

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

idris-absint

Abstract interpretation in Idris
Idris
2
star
31

TSBannerGen

An MPD banner generator for TeamSpeak
Haskell
2
star
32

HaxxitJ

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

liquid-regex

Some experiments with regular expressions and LiquidHaskell
Haskell
2
star
34

derp

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

wai-middleware-preprocessor

WAI middleware for static file preprocessors
Haskell
2
star
36

nix-parse

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

language-boogie

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

dbus-teamspeak

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

hydra-badges

A Hydra badge generator.
JavaScript
1
star
40

hskpipe

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

taktoa-resume

My resume.
HTML
1
star
42

emacs-config

My emacs configuration
Emacs Lisp
1
star
43

PlaneOpt

A plane optimizer
Haskell
1
star
44

repa-mandel

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

pendulum

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

monocle

Rust
1
star
47

HsCalculator

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

qdoc2psn

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

guile

The GNU Guile Scheme compiler and interpreter
Scheme
1
star
50

eternum.bash

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

CISExplorer

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

pianoman

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

xprintidle-ng

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

OscFinder

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

ThomasEngine2

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

TestGL

Playing around with Haskell 3D graphics libraries
Haskell
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