Discover taktoa/liquid-regex Open Source project

Stars
2
Language
Haskell
License
MIT License
Created over 7 years ago
Updated over 7 years ago

taktoa

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

Some experiments with regular expressions and LiquidHaskell

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

eqsat

A language-generic implementation of equality saturation in Haskell

Haskell

wasm-agda

A typechecker for WebAssembly, written in Agda (WIP)

Agda

ghcjs-electron

GHCJS FFI bindings to the Electron API (WIP).

Haskell

typed-guile

A type system for GNU Guile Scheme (WIP)

Haskell

hsdm

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

Haskell

nix-packages

The Nix packages I've made / worked on

Nix

chemsim

An attempt at writing a Lattice Boltzmann CFD simulator in Rust

Rust

cs524-actor

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

Haskell

spim-compiler

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

Idris

small-haskell

Small projects written in Haskell

Haskell

math-notes

Assorted math notes

TeX

twitch-osd

Show notifications for Twitch chat messages

Haskell

xmonad-config

My xmonad configuration

Haskell

libxdo

Haskell bindings to libxdo (xdotool library); WIP

Haskell

control-theory

A Haskell control theory project (very old and bad)

Haskell

survive-java

Tools for Java that make it more like Haskell

esp32-baremetal

ThomasEngine

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

Racket

syllabus

A tool for managing and predicting grades (WIP)

Haskell

slib

The SLIB Portable Scheme Library (GitHub mirror)

Scheme

libsecret

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

Haskell

zerotoasic-nix

Nix scaffolding for ZeroToASIC students

Nix

nix-format

Automatically format Nix expressions with Emacs

Shell

idris-regexp

Regular expressions in Idris

Idris

inference

Experiments in dependent type inference

Haskell

atp-exercises

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

Haskell

libnix

Haskell bindings to the Nix API (WIP)

C++

strategoxt-emacs

An Emacs major mode for StrategoXT / SDF (GitHub mirror)

Emacs Lisp

ThermoCalc

A calculator for determining the dimensions and parameters of a thermoacoustic refrigerator

Haskell

idris-absint

Abstract interpretation in Idris

Idris

TSBannerGen

An MPD banner generator for TeamSpeak

Haskell

HaxxitJ

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

Java

derp

Derivative parsing for Haskell (GitHub mirror)

Haskell

wai-middleware-preprocessor

WAI middleware for static file preprocessors

Haskell

nix-parse

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

C++

language-boogie

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

Haskell

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.

JavaScript

hskpipe

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

Haskell

taktoa-resume

My resume.

HTML

emacs-config

My emacs configuration

Emacs Lisp

PlaneOpt

A plane optimizer

Haskell

repa-mandel

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

Haskell

pendulum

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

Haskell

monocle

Rust

HsCalculator

A simple calculator written in three hours in Haskell

Haskell

qdoc2psn

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

Haskell

guile

The GNU Guile Scheme compiler and interpreter

Scheme

eternum.bash

A command-line client for the eternum.io API

Shell

CISExplorer

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

Haskell

pianoman

Experimental music bot for TeamSpeak 3 (mostly abandoned due to arcane-chat)

C++

xprintidle-ng

Utility for checking how long the X server has been idle

Shell

OscFinder

A program to find optimal component values for oscillator circuits

Haskell

ThomasEngine2

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

Scheme

TestGL

Playing around with Haskell 3D graphics libraries

Haskell

cpufreq

Haskell FFI bindings for libcpufreq (cpufrequtils)

Haskell

TSBot

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

Haskell

SpaceElevator

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

TSLogAnalyzer

Analyzes TeamSpeak 3 server logs

Haskell

useful

Useful information that I often look up

Scheme

nix-utils

Scripts for various purposes in Nix/NixOS (WIP)

pipes-trifecta

Use trifecta parsers with pipes-parse

Haskell

SatOpt

A satellite optimizer

Haskell

pegc

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

Haskell

taktoa/liquid-regex

taktoa

Reviews

Repository Details

More Repositories