Discover bodil/lolkanren Open Source project by Bodil Stokke (@bodil)

Assorted immutable collection datatypes for Rust

1,845

im-rs

An eslint config which reduces JS to a pure functional language

1,440

eslint-config-cleanjs

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

1,106

vgtk

Compact inlined strings for Rust.

1,037

smartstring

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

469

ohai-emacs

Emacs Lisp

378

catnip

A web based Clojure IDE

The common BODil Oriented Language

349

BODOL

Elm style FRP library for PureScript

312

purescript-signal

Your favourite Haskell type classes for Rust

258

higher

A ClojureScript REPL running on Node.JS

213

cljs-noderepl

Here is my .emacs.d for public perusal.

166

emacs.d

Emacs Lisp

141

purescript-is-magic

An educational game with ponies

A combinator library for generating markup

114

purescript-smolder

meowhash-rs

Meow hasher for Rust

An asynchronous unit test runner for PureScript

purescript-test-unit

vscode-file-browser

ES6 flavoured parser combinators

eulalie

Implementations of µKanren in assorted languages

microkanrens

An efficient memory pool mechanism for Rust.

refpool

String parser combinators for PureScript.

purescript-eulalie

A Javascript class system in 100% Clojurescript

pylon

A native PureScript virtual DOM implementation.

purescript-vdom

ClojureScript REPL on Nashorn

cljs-nashorn

bitmaps

Bitmap types for Rust

boogaloo

Type level natural numbers and booleans

purescript-typelevel

pink

A presentation tool.

Code from my Clojure/conj talk

clojurescript-all-the-way-down

ES7 Observables for PureScript

purescript-observable

Efficient sized chunk datatypes for immutable.rs

sized-chunks

Programmatic configuration for VS Code

bodil.github.com

Presentation slides etc

CSS

vscode-use-package

Rust vectors with type level size

sized-vec

Programmatic package configuration for Atom

atom-use-package

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

palmtree

spectre-of-free-software

Programmatic configuration for VS Code

vscode-init-script

vscode-blueprint

Slides for CUFP 2017 keynote

are-we-there-yet

SIMD optimised algorithms and data types

simdify

Idris style sized vectors in PureScript

purescript-sized-vectors

My NixOS configuration files

nixcfg

Nix

typeify

A Browserify transform module for automated TypeScript compilation

Relational programming for PureScript

purescript-kanren

A simple application state store for PureScript.

purescript-store

only-better

Option types for TypeScript with real gradual typing

opt

building-lisp

baconts

Parser combinators for JS

graham

A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.

purescript-pux-smolder-dom

A Maven test runner for Javascript using Rhino and Env.js

testlol

A testing toolkit for ClojureScript, designed for testing asynchronous code

error

ohai-atom

pstalk

joy-of-milner

A talk about the Hindley-Milner type system.

Lightweight Modular Staging in Rust

lms

hipster

PureScript bindings for the Chrome Platform APIs

purescript-chrome-api

A Windows installer for Leiningen

purescript-webapp

work in progress, don't

persistence

post-frp

leiningen-for-dummies

May your road lead you to warm sands.

bodega-khajiit

Oxygen Not Included mod that restricts your game time.

ONIForcedExit

cargo-template-vgtk

Cargo template for vgtk apps.

Automatic deriving of `From` and `Deref` for Rust newtype structs.

newtype-proxy

purescript-smolder-dom

hellobackbone

Ready made default method implementations for array data types.

array-ops

A Smolder renderer for purescript-vdom

purescript-smolder-vdom

the-mess

Twitter sidebar extension for Firefox

tweetlol

My talk for the Clojure Exchange 2014.

future-of-clojure

A complete Node webapp you can write live on stage in 15 minutes if you come properly prepared.

todo15m

A poorly disguised todo list, in Clojure and Clojurescript.

mylittlecthulhu

purescript-signal like channels for purescript-observable.

purescript-observable-channel

Node sockets with a Signal interface

purescript-signal-socket

A VS Code formatter for TOML using Prettier

vscode-prettier-toml

PureScript 2D matrix transformations

purescript-geom

generators are dashed jolly spiffy

lolisp

It's a lisp, in Python.

Python

generators

C++ bindings for GNOME libnotify on-screen notifications

node-gnomenotify

C++

bagwell

A talk about Bagwell tries

Slides for teaching Clojure basics in a hurry with Catnip

ten-minute-clojure

An instructional Sudoku problem generator and solver, using Noir.

sudokulol

lolcode-mode

LOLCODE mode for Emacs.

Emacs Lisp

hands-on-with-clojure

My attempt at solving the Extreme Startup exercise

startuplol

frob

The `asap` scheduler as a portable PureScript module

purescript-asap

Chrome extension that unbreaks keyboard navigation in the weird time tracking app I have to use at work

unbreakwep

A very simple Mandelbrot set renderer using HTML5 canvas and web workers

mandelbrotlol

More randomness for Clojure

unpredictable

erlang-the-reckoning

FriendFeed on your desktop!

feedlol

Python

xbobar

Stock ticker indicator applet for Unity

100

tickerlol