jbransen

Utrecht, The Netherlands

Pinned Repositories

AG-SAT
Scheduling attribute grammars with SAT-solvers
Language:TeX2 5 00
BAPCtools
Tools for developing ICPC-style programming contest problems.
Language:Python00
diagrams-builder
Utilities for creating diagram-building tools
Language:Haskell00
diagrams-input
Reading of raster images with JuicyPixels, SVG images with xml-conduit
Language:Haskell10
minisat
A minimalistic and high-performance SAT solver
Language:C++11
minisat-bundle
Minisat Haskell bundle
12
uuoagc
Proof-of-concept code for incremental evaluation of higher-order attribute grammars
Language:Haskell20

jbransen's Repositories

jbransen/AG-SAT
Scheduling attribute grammars with SAT-solvers
Language:TeX2 5 00
jbransen/uuoagc
Proof-of-concept code for incremental evaluation of higher-order attribute grammars
Language:Haskell20
jbransen/diagrams-input
Reading of raster images with JuicyPixels, SVG images with xml-conduit
Language:Haskell10
jbransen/minisat
A minimalistic and high-performance SAT solver
Language:C++11
jbransen/minisat-bundle
Minisat Haskell bundle
12
jbransen/BAPCtools
Tools for developing ICPC-style programming contest problems.
Language:Python00
jbransen/diagrams-builder
Utilities for creating diagram-building tools
Language:Haskell00
jbransen/diskheap
Block based storage heap saved on disk.
Language:Haskell
jbransen/fftconvolve
Rust implementations of Fast Fourier Transform convolution and correlation for n-dimensional arrays
jbransen/haskell
Haskell bindings for TensorFlow
Language:Haskell
jbransen/hls-bug
Example for reproducing https://github.com/haskell/haskell-language-server/issues/149
Language:Haskell
jbransen/libjwt-typed
A Haskell implementation of JSON Web Token (JWT)
jbransen/problemtools
Tools to manage problem packages using the Kattis problem package format.
Language:Python
jbransen/puppet-network
Puppet module to manage networking on Suse, Debian and RedHat.
jbransen/scoreboard
Online judge scoreboard parser
Language:Java1 0
jbransen/smarttabs
Emacs smart tabs - indent with tabs, align with spaces!
Language:Emacs Lisp2 0
jbransen/tensorflow
Computation using data flow graphs for scalable machine learning
Language:C++2 0
jbransen/tfjs
A WebGL accelerated JavaScript library for training and deploying ML models.
Language:TypeScript0 0
jbransen/triemap-generics
Playing around with generic implementations of Triemaps that Match
Language:Haskell
jbransen/wai
Haskell Web Application Interface
Language:Haskell2 0

jbransen

Pinned Repositories

AG-SAT

BAPCtools

diagrams-builder

diagrams-input

minisat

minisat-bundle

uuoagc

jbransen's Repositories

jbransen/AG-SAT

jbransen/uuoagc

jbransen/diagrams-input

jbransen/minisat

jbransen/minisat-bundle

jbransen/BAPCtools

jbransen/diagrams-builder

jbransen/diskheap

jbransen/fftconvolve

jbransen/haskell

jbransen/hls-bug

jbransen/libjwt-typed

jbransen/problemtools

jbransen/puppet-network

jbransen/scoreboard

jbransen/smarttabs

jbransen/tensorflow

jbransen/tfjs

jbransen/triemap-generics

jbransen/wai