Bodil Stokke

typed-html. Type checked JSX for Rust

im-rs. Assorted immutable collection datatypes for Rust

eslint-config-cleanjs. An eslint config which reduces JS to a pure functional language

vgtk. A declarative desktop UI framework for Rust built on GTK and Gtk-rs

smartstring. Compact inlined strings for Rust.

ohai-emacs. The finest hand crafted artisanal emacs.d for your editing pleasure

catnip. A web based Clojure IDE

BODOL. The common BODil Oriented Language

higher. Your favourite Haskell type classes for Rust

purescript-signal. Elm style FRP library for PureScript

cljs-noderepl. A ClojureScript REPL running on Node.JS

emacs.d. Here is my .emacs.d for public perusal.

purescript-is-magic. An educational game with ponies

meowhash-rs. Meow hasher for Rust

purescript-smolder. A combinator library for generating markup

vscode-file-browser. TypeScript

purescript-test-unit. An asynchronous unit test runner for PureScript

eulalie. ES6 flavoured parser combinators

refpool. An efficient memory pool mechanism for Rust.

microkanrens. Implementations of µKanren in assorted languages

purescript-eulalie. String parser combinators for PureScript.

bitmaps. Bitmap types for Rust

pylon. A Javascript class system in 100% Clojurescript

purescript-vdom. A native PureScript virtual DOM implementation.

cljs-nashorn. ClojureScript REPL on Nashorn

boogaloo. JavaScript

vscode-blueprint. TypeScript

purescript-typelevel. Type level natural numbers and booleans

pink. A presentation tool.

lolkanren. This project has moved:

clojurescript-all-the-way-down. Code from my Clojure/conj talk

sized-chunks. Efficient sized chunk datatypes for immutable.rs

purescript-observable. ES7 Observables for PureScript

palmtree. Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.

bodil.github.com. Presentation slides etc

vscode-use-package. Programmatic configuration for VS Code

sized-vec. Rust vectors with type level size

vscode-init-script. Programmatic configuration for VS Code

spectre-of-free-software. HTML

opt. Option types for TypeScript with real gradual typing [moved to Codeberg]

atom-use-package. Programmatic package configuration for Atom

are-we-there-yet. Slides for CUFP 2017 keynote

simdify. SIMD optimised algorithms and data types

purescript-sized-vectors. Idris style sized vectors in PureScript

purescript-kanren. Relational programming for PureScript

typeify. A Browserify transform module for automated TypeScript compilation

nixcfg. My NixOS configuration files

baconts. This project has moved:

gx. JavaScript

purescript-chrome-api. PureScript bindings for the Chrome Platform APIs

joy-of-milner. A talk about the Hindley-Milner type system.

array-ops. Ready made default method implementations for array data types.

persistence. A talk.

ONIForcedExit. Oxygen Not Included mod that restricts your game time.

leiningen-for-dummies. A Windows installer for Leiningen

bodega-khajiit. May your road lead you to warm sands.

tmuxified. A tiny « framework » for Tmux, with handy scripts and status line themes.

core. My TypeScript standard library [moved to Codeberg]

purescript-smolder-vdom. A Smolder renderer for purescript-vdom