Discover @taktoa Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Rust

Nix

Zig

R

MATLAB

Ruby

Groovy

Erlang

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Ada

Scala

Groovy

F#

Dart

Swift

Objective-C

Clojure

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇮 Gibraltar

🇸🇮 Slovenia

🇷🇺 Russia

🇮🇲 Isle of Man

🇯🇪 Jersey

🇧🇧 Barbados

🇧🇳 Brunei

🇹🇷 Türkiye

All Countries Compare Countries

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 %

C
4.7 %

C++
4.7 %

Shell
4.7 %

Idris 4.7 %

Nix
3.1 %

Rust
3.1 %

Emacs Lisp
3.1 %

Agda 1.6 %

JavaScript
1.6 %

Java
1.6 %

Racket
1.6 %

TeX
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)