Pinned Repositories
BonsaiStore
Efficient reporting over sets of items of user defined data types, via an F# interface.
FSharp.RangeMap
Key-value data store supporting fast look-up of elements given a range of keys.
FSharp.Uniplate
Port of the Haskell Uniplate library to F#. Simplifies transformations over recursive algebraic data types.
HJavaScript
HJavaScript defines an abstract syntax and pretty printer for a subset of JavaScript.
HJScript
HJScript is a DSL for outputting JavaScript code.
jFlowlet
JavaScript flowlet library
jobjo.github.io
popper
Property-based testing at ease
ppx_deriving_typename
A minimal example of a type driven ppx rewriter
jobjo's Repositories
jobjo/popper
Property-based testing at ease
jobjo/ppx_deriving_typename
A minimal example of a type driven ppx rewriter
jobjo/BonsaiStore
Efficient reporting over sets of items of user defined data types, via an F# interface.
jobjo/FSharp.Uniplate
Port of the Haskell Uniplate library to F#. Simplifies transformations over recursive algebraic data types.
jobjo/HJScript
HJScript is a DSL for outputting JavaScript code.
jobjo/jFlowlet
JavaScript flowlet library
jobjo/FSharp.RangeMap
Key-value data store supporting fast look-up of elements given a range of keys.
jobjo/HJavaScript
HJavaScript defines an abstract syntax and pretty printer for a subset of JavaScript.
jobjo/jobjo.github.io
jobjo/temple
OCaml library for simple file/folder templates
jobjo/alcotest
A lightweight and colourful test framework
jobjo/alt-ergo
OCamlPro public development repository for Alt-Ergo
jobjo/FShapTasks
Small tasks in f#
jobjo/FSharp.FinitePatterns
jobjo/FSharp.ParsEx
Backtracking parsing library supporting arbitrary input types.
jobjo/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
jobjo/ocaml
The core OCaml system: compilers, runtime system, base libraries
jobjo/opam-repository
Main public package repository for opam, the source package manager of OCaml.
jobjo/ppx_let
Monadic let-bindings
jobjo/Tables
Define, transform and compose tables.