Discover @taktoa Open Source projects

Remy Goldschmidt (@taktoa)

taktoa

Stars
229
Global Rank 110,764 (Top 4 %)
Followers 160
Following 67
Registered almost 14 years ago
Most used languages

Haskell
56.3 %

Scheme
6.3 %

Idris 4.7 %

Shell
4.7 %

C++
4.7 %

C
4.7 %

Rust
3.1 %

Nix
3.1 %

Emacs Lisp
3.1 %

Racket
1.6 %

JavaScript
1.6 %

TeX
1.6 %

Agda 1.6 %

Java
1.6 %

HTML
1.6 %
Location 🇺🇸 United States
Country Total Rank 25,737
Country Ranking

Agda 17

Idris 17

Haskell
189

Scheme
210

Nix
211

Racket
265

Emacs Lisp
1,326

TeX
2,136

Rust
3,748

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 Haskell

wasm-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 on

chemsim

An attempt at writing a Lattice Boltzmann CFD simulator in Rust

cs524-actor

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

spim-compiler

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

small-haskell

Small projects written in Haskell

math-notes

Assorted math notes

twitch-osd

Show notifications for Twitch chat messages

xmonad-config

My xmonad configuration

libxdo

Haskell bindings to libxdo (xdotool library); WIP

control-theory

A Haskell control theory project (very old and bad)

survive-java

Tools for Java that make it more like Haskell

esp32-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 students

nix-format

Automatically format Nix expressions with Emacs

idris-regexp

Regular expressions in Idris

inference

Experiments in dependent type inference

atp-exercises

Solutions to https://gist.github.com/taktoa/b7d0510dd68cb2e4b296e70cbe135579

libnix

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 refrigerator

idris-absint

Abstract interpretation in Idris

TSBannerGen

An MPD banner generator for TeamSpeak

HaxxitJ

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 LiquidHaskell

derp

Derivative parsing for Haskell (GitHub mirror)

wai-middleware-preprocessor

WAI middleware for static file preprocessors

nix-parse

An executable that links into Nix and parses Nix files provided on the command line

language-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

emacs-config

My emacs configuration

PlaneOpt

A plane optimizer

repa-mandel

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

pendulum

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

monocle

HsCalculator

A simple calculator written in three hours in Haskell

qdoc2psn

Generate purescript-native bindings from a QDoc XML file. (WIP)

guile

The GNU Guile Scheme compiler and interpreter

eternum.bash

A command-line client for the eternum.io API

CISExplorer

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 idle

OscFinder

A program to find optimal component values for oscillator circuits

ThomasEngine2

A top-down 2D game engine written in Guile (WIP)

TestGL

Playing around with Haskell 3D graphics libraries

cpufreq

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 logs

useful

Useful information that I often look up

nix-utils

Scripts for various purposes in Nix/NixOS (WIP)

pipes-trifecta

Use trifecta parsers with pipes-parse

SatOpt

A satellite optimizer

pegc

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