Pinned Repositories
abstract-interpretation-couset-couset
A modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)
constraint-solver-js
An extensible finite-domain constraint solver
craftinomicon
Bukkit plugin for showing crafting recipes
everywhere-purescript
Examples of how to run a purescript program in various environments
knockout
Knockout makes it easier to create rich, responsive UIs with JavaScript
lazy-interpreter
Proof of concept lazy interpreter
maru-annotated
A clone of Piumarta's Maru 1.0, with some comments added for my own understanding
undefineditor
Editor for haskell source code
sciolizer's Repositories
sciolizer/maru-annotated
A clone of Piumarta's Maru 1.0, with some comments added for my own understanding
sciolizer/craftinomicon
Bukkit plugin for showing crafting recipes
sciolizer/undefineditor
Editor for haskell source code
sciolizer/abstract-interpretation-couset-couset
A modern "translation" of Cousot and Cousot's original paper on abstract interpretation (1977)
sciolizer/aftereffects.d.ts
sciolizer/ardielle-go
sciolizer/ardielle-java
sciolizer/ardielle-maven-plugin
sciolizer/ardielle-tools
sciolizer/beaconz
Bukkit plugin to enable a sub-game of beacon and area capture.
sciolizer/bud
Prototype Bud runtime (Bloom Under Development)
sciolizer/composable-type-systems
sciolizer/DefinitelyTyped
The repository for high quality TypeScript type definitions.
sciolizer/elide
Elide is a Java library that lets you stand up a JSON API web service with minimal effort
sciolizer/haskell-ides
An evaluation of various haskell IDEs
sciolizer/junit-addons
junit-addons from http://junit-addons.sourceforge.net
sciolizer/JustEnoughCalculation
A simple minecraft mod help you calculate the cost for recipes
sciolizer/minisat-rs
Rust crate which compiles minisat and provides an interface (C/C++ compiler required)
sciolizer/node-k8s-client
kubernetes client of node.js
sciolizer/octopress
Partial application is not Schönfinkeling
sciolizer/ometa-js-workspace-samples
A backup of http://tinlizzie.org/ometa-js/
sciolizer/postgres
Mirror of the official PostgreSQL GIT repository. Note that this is just a *mirror* - we don't work with pull requests on github. To contribute, please see https://wiki.postgresql.org/wiki/Submitting_a_Patch
sciolizer/pursuit-docker
A docker container for running pursuit locally
sciolizer/redlightgreenlight
minecraft mod
sciolizer/ricardo-law-of-rent
A visualization of Ricardo's law of rent
sciolizer/sciolizer.github.io
sciolizer/stack
The Haskell Tool Stack
sciolizer/symmetry-sat
SAT Solver that is aware of constraint symmetry
sciolizer/visitor-maven-plugin
Visitor pattern boilerplate generator
sciolizer/xtext-sandbox