NFA Visualizer is currently offline due to my Desktop not being packed up and stored away for the summer.
Thanks to @dzabraev for fixing bugs with CUDA5
There are no reviews yet. Be the first to send feedback to the community and the maintainers!
NFA Visualizer is currently offline due to my Desktop not being packed up and stored away for the summer.
Thanks to @dzabraev for fixing bugs with CUDA5
DoctorPretty
Wadler's "A prettier printer" embedded pretty-printer DSL for Swiftcyklic
A Cycle.js inspired Native Single-Atom-State Purely Functional Reactive Composable UI Component library for Androidbarbq
๐barbq is a text based status bar for macOSgameboy
[alpha] Rust WASM gameboy emulator aiming for high framerate on mobile browsersswift-di-explorations
Functional DI explorations in Swiftlife
A Nix configuration for macOS and Linuxgit-paradox
Copy history forward safely and easilyslides
Slide decks rendered from mardownswift-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 Reasonempydom
Python-Javascript DOM bridgekson
It's like GSON, but in Swiftabstraction
Data abstraction in Dhallxbox-one-fake-driver
A "joystick driver" for Xbox One controllers on OSXrust-torrent
Rust torrent client (to play with rust)purescript-cache
Algebraic caches for purescriptandroid-scala-example
Example Scala Android project with guideTwitter-fake
Twitter fake for reasondotfiles
dotfiles and other configuration files that reside in my home directoryjoyfull
Use a joystick in the browsertoy-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 OSXAlgorithm-w-again
Doing Algorithm W again [Damas, Milner 82] and [Milner 77-78]key-injector
Inject keyboard events into OSXcompiler
Playing with compilers (WASM?)dotvim
My vim configurationflickrbox
static-electric
A typesafe static site DSL using JSX/Tyxml and a styling groupjs-async-to-sync
Experiments in asyncToSync converters in web workersjsonschema-to-dhall
Auto-generate Dhall bindings given a JSON Schema definitiondrag-drop-in-cyclejs
Playing around with cycle.js; simple drag-drop-uploaderNextBart
Find the when the next bart is leavingcodeshare
site2
Trying to make a website againhaskell-play
Nix playground for haskell stuffbuckitup
Playing with facebook/buck#810 in an Android apprust-ffi-example
An example of Rust's FFI for v0.4Native-OpenCV-Android-4.0.3
OpenCV Tutorial 2 Advanced working in Android 4.0.3datalog-gadt
Type-safe Datalog experiment using GADTs in OCamlfast-blog
Static blog generatorlooking-glass
Through the looking glass, to the worldswift-typed-ast-parser
Swift Typed AST Parsercairo-schnorr
Schnorr in cairo (allegedly)algebra-dummit-foote
Exercises for "Abstract Algebra by Dummit and Foote"Love Open Source and this site? Check out how you can help us