There are no reviews yet. Be the first to send feedback to the community and the maintainers!
narfuse
A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.eqsat
A language-generic implementation of equality saturation in Haskellwasm-agda
A typechecker for WebAssembly, written in Agda (WIP)ghcjs-electron
GHCJS FFI bindings to the Electron API (WIP).typed-guile
A type system for GNU Guile Scheme (WIP)hsdm
An X11 display manager, written in Haskell. (WIP)nix-packages
The Nix packages I've made / worked onchemsim
An attempt at writing a Lattice Boltzmann CFD simulator in Rustcs524-actor
An unfinished implementation of actor-style concurrency in Haskell, written for UIUC CS 524spim-compiler
A compiler from a simple imperative language to SPIM, a dialect of MIPS assembly (WIP)small-haskell
Small projects written in Haskellmath-notes
Assorted math notestwitch-osd
Show notifications for Twitch chat messagesxmonad-config
My xmonad configurationlibxdo
Haskell bindings to libxdo (xdotool library); WIPcontrol-theory
A Haskell control theory project (very old and bad)survive-java
Tools for Java that make it more like Haskellesp32-baremetal
ThomasEngine
A 2D top-down RPG engine written in Racket (WIP)syllabus
A tool for managing and predicting grades (WIP)slib
The SLIB Portable Scheme Library (GitHub mirror)libsecret
Easy-to-use Haskell bindings for libsecret; wrapper around `gi-secret` (WIP).zerotoasic-nix
Nix scaffolding for ZeroToASIC studentsnix-format
Automatically format Nix expressions with Emacsidris-regexp
Regular expressions in Idrisinference
Experiments in dependent type inferenceatp-exercises
Solutions to https://gist.github.com/taktoa/b7d0510dd68cb2e4b296e70cbe135579libnix
Haskell bindings to the Nix API (WIP)strategoxt-emacs
An Emacs major mode for StrategoXT / SDF (GitHub mirror)ThermoCalc
A calculator for determining the dimensions and parameters of a thermoacoustic refrigeratoridris-absint
Abstract interpretation in IdrisTSBannerGen
An MPD banner generator for TeamSpeakHaxxitJ
A Java clone of Spybotics: The Nightfall Incident, a highly entertaining turn-based strategy game by Lego. (very WIP)liquid-regex
Some experiments with regular expressions and LiquidHaskellderp
Derivative parsing for Haskell (GitHub mirror)wai-middleware-preprocessor
WAI middleware for static file preprocessorsnix-parse
An executable that links into Nix and parses Nix files provided on the command linelanguage-boogie
A Git mirror of the language-boogie repository on BitBucket (https://bitbucket.org/nadiapolikarpova/boogaloo)dbus-teamspeak
A TeamSpeak plugin that exposes the plugin API over DBUS (deprecated in favor of https://github.com/taktoa/pianoman)hydra-badges
A Hydra badge generator.hskpipe
An implementation of the Shen core language (K|) in Haskell (WIP)taktoa-resume
My resume.emacs-config
My emacs configurationPlaneOpt
A plane optimizerrepa-mandel
A Mandelbrot generator written in Haskell with the Repa parallel array librarypendulum
A simulation of a pendulum using Lagrangian mechanics, written in Haskell (WIP)monocle
HsCalculator
A simple calculator written in three hours in Haskellqdoc2psn
Generate purescript-native bindings from a QDoc XML file. (WIP)guile
The GNU Guile Scheme compiler and interpretereternum.bash
A command-line client for the eternum.io APICISExplorer
A Haskell API for the Course Information System of UIUC (WIP)pianoman
Experimental music bot for TeamSpeak 3 (mostly abandoned due to arcane-chat)xprintidle-ng
Utility for checking how long the X server has been idleOscFinder
A program to find optimal component values for oscillator circuitsThomasEngine2
A top-down 2D game engine written in Guile (WIP)TestGL
Playing around with Haskell 3D graphics librariescpufreq
Haskell FFI bindings for libcpufreq (cpufrequtils)TSBot
A TeamSpeak 3 bot written in Haskell (deprecated in favor of https://github.com/taktoa/pianoman)SpaceElevator
A simulator for breaking space elevators (and a mirror of an equivalent C program) (WIP)TSLogAnalyzer
Analyzes TeamSpeak 3 server logsnix-utils
Scripts for various purposes in Nix/NixOS (WIP)pipes-trifecta
Use trifecta parsers with pipes-parseSatOpt
A satellite optimizerpegc
A parser generator, similar to BNFC, that takes a parsing expression grammar and outputs PEGTL C++ for it. (WIP)Love Open Source and this site? Check out how you can help us