Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by craigfe
A curated list of projects in awesome lists by craigfe .
https://github.com/craigfe/oskel
:skull: Skeleton generator for OCaml projects.
Last synced: 27 Oct 2024
https://github.com/CraigFe/oskel
:skull: Skeleton generator for OCaml projects.
Last synced: 14 Nov 2024
https://github.com/craigfe/compact
Memory-efficient data structures in OCaml
Last synced: 27 Oct 2024
https://github.com/craigfe/ocaml-stdlib-type-conversions
Graphs of the various type conversions provided by the OCaml standard library.
Last synced: 31 Oct 2024
https://github.com/craigfe/brands
Defunctionalised higher-kinded polymorphism in OCaml.
Last synced: 27 Oct 2024
https://github.com/craigfe/ocamlformat-vmux
Version mulltiplexer for OCamlformat binaries.
Last synced: 27 Oct 2024
https://github.com/craigfe/diff
Diffing and edit-distance algorithms for OCaml
Last synced: 27 Oct 2024
https://github.com/craigfe/scaffold
Declarative OCaml testing frameworks using Dune rules.
Last synced: 27 Oct 2024
https://github.com/CraigFe/scaffold
Declarative OCaml testing frameworks using Dune rules.
Last synced: 14 Nov 2024
https://github.com/craigfe/dissertation
University of Cambridge Part II Dissertation (2018 – 2019)
Last synced: 31 Oct 2024
https://github.com/craigfe/ocaml-partial-functions-perf
Testing performance of partial function encodings in OCaml
Last synced: 27 Oct 2024
https://github.com/craigfe/ocaml-rusage
OCaml bindings for the GETRUSAGE(2) syscall.
Last synced: 27 Oct 2024
https://github.com/craigfe/mirage-tezos-signer
Work-in-progress MirageOS-compatible fork of `tezos-signer`.
Last synced: 31 Oct 2024
https://github.com/craigfe/ocaml-ci-web
An OCurrent pipeline for web project CI
Last synced: 31 Oct 2024
https://github.com/craigfe/metaocaml-plus-ecosystem
MetaOCaml + modern ecosystem tooling.
Last synced: 31 Oct 2024
https://github.com/craigfe/irmin-tree-serialisation
Debugging memory usage in an Irmin tree dump.
Last synced: 31 Oct 2024
https://github.com/craigfe/ppx-import-inferred-types
Demo for https://discuss.ocaml.org/t/ppx-deriving-and-polymorphic-variants/6143/3.
Last synced: 31 Oct 2024
https://github.com/craigfe/git-store-diagram
TikZ diagram extracted from https://github.com/CraigFe/dissertation.
Last synced: 31 Oct 2024
https://github.com/craigfe/causal-rpc-talk
CausalRPC talk slides (ICFP 2019).
Last synced: 31 Oct 2024
https://github.com/craigfe/dockerfiles
General Dockerfiles available at Docker Hub.
Last synced: 31 Oct 2024
https://github.com/craigfe/ocaml-bls12-381
Fork of https://gitlab.com/dannywillems/ocaml-bls12-381.
Last synced: 31 Oct 2024
https://github.com/craigfe/yasnippet-dune
YASnippet collection for `dune` and `dune-project` files.
Last synced: 31 Oct 2024
https://github.com/craigfe/nonstd
Fork of https://bitbucket.org/smondet/nonstd.
Last synced: 31 Oct 2024
https://github.com/craigfe/hacl-star-raw-dune
WIP hacl-star bindings using Dune, for MirageOS 4.
Last synced: 31 Oct 2024
https://github.com/craigfe/lwt-watcher
Fork of https://gitlab.com/nomadic-labs/lwt-watcher.
Last synced: 31 Oct 2024
https://github.com/craigfe/github-contributions
WIP. Not intended for public consumption.
Last synced: 31 Oct 2024
https://github.com/craigfe/low_level_debug
Repackaged debugging utils from Jane Street's Core library. Not intended for production use.
Last synced: 31 Oct 2024
https://github.com/craigfe/sorting-algorithms
Implementations of various comparison-based sorting algorithms, with the aim of creating visualisations.
Last synced: 31 Oct 2024
https://github.com/craigfe/mwe-dune-copy-files-dep-cycle
Nothing to see here.
Last synced: 31 Oct 2024
https://github.com/craigfe/scala-question-generator
A Scala REST API for generating simple maths questions.
Last synced: 31 Oct 2024
https://github.com/craigfe/tezos-opam-repository
Fork of https://gitlab.com/tezos/opam-repository with duniverse overlays.
Last synced: 31 Oct 2024
https://github.com/craigfe/tezos-monorepo-overlays
Package vendoring for Tezos development.
Last synced: 31 Oct 2024