Discover taktoa/HsCalculator Open Source project

Stars
1
Language
Haskell
License
GNU General Publi...
Created almost 10 years ago
Updated almost 10 years ago

taktoa

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

A simple calculator written in three hours in Haskell

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

liquid-regex

Some experiments with regular expressions and LiquidHaskell

Haskell

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

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/HsCalculator

taktoa

Reviews

Repository Details

More Repositories