bkase/algebra-dummit-foote

Stars
1
Language
TeX
Created almost 6 years ago
Updated almost 6 years ago

bkase/algebra-dummit-foote

bkase

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

Exercises for "Abstract Algebra by Dummit and Foote"

DoctorPretty

Wadler's "A prettier printer" embedded pretty-printer DSL for Swift

CUDA-grep

cyklic

A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Android

barbq

🍖barbq is a text based status bar for macOS

gameboy

[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsers

swift-di-explorations

Functional DI explorations in Swift

life

A Nix configuration for macOS and Linux

git-paradox

Copy history forward safely and easily

slides

Slide decks rendered from mardown

swift-optparse-applicative

Commandline parsing using applicatives (optparse-applicative ported from Haskell/Scala)

PathySwift

Typesafe Phantom-Type backed Paths (port of purescript-pathy)

reasonable-wm

A functional tiling "window manager" for the web written in Reason

empydom

Python-Javascript DOM bridge

kson

It's like GSON, but in Swift

abstraction

Data abstraction in Dhall

xbox-one-fake-driver

A "joystick driver" for Xbox One controllers on OSX

rust-torrent

Rust torrent client (to play with rust)

purescript-cache

Algebraic caches for purescript

android-scala-example

Example Scala Android project with guide

Twitter-fake

Twitter fake for reason

dotfiles

dotfiles and other configuration files that reside in my home directory

joyfull

Use a joystick in the browser

toy-cool-language

A type checker and interpreter for Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types (Joshua Dunfield, Neelakantan R. Krishnaswami)

osx-life

A Nix-shell default.nix for my life in OSX

Algorithm-w-again

Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]

key-injector

Inject keyboard events into OSX

compiler

Playing with compilers (WASM?)

dotvim

My vim configuration

flickrbox

static-electric

A typesafe static site DSL using JSX/Tyxml and a styling group

js-async-to-sync

Experiments in asyncToSync converters in web workers

jsonschema-to-dhall

Auto-generate Dhall bindings given a JSON Schema definition

drag-drop-in-cyclejs

Playing around with cycle.js; simple drag-drop-uploader

NextBart

Find the when the next bart is leaving

codeshare

site2

Trying to make a website again

haskell-play

Nix playground for haskell stuff

buckitup

Playing with facebook/buck#810 in an Android app

rust-ffi-example

An example of Rust's FFI for v0.4

Native-OpenCV-Android-4.0.3

OpenCV Tutorial 2 Advanced working in Android 4.0.3

datalog-gadt

Type-safe Datalog experiment using GADTs in OCaml

fast-blog

Static blog generator

looking-glass

Through the looking glass, to the world

swift-typed-ast-parser

Swift Typed AST Parser

cairo-schnorr

Schnorr in cairo (allegedly)