Skip to content
View ghulette's full-sized avatar
46 followers · 35 following
  • AWS S3-ARG
  • San Francisco, CA

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report ghulette

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • dotfiles Public

    My dotfiles

    Lua Updated Oct 8, 2024

  • kickstart.nvim Public

    Forked from nvim-lua/kickstart.nvim

    A launch point for your personal nvim configuration

    Lua MIT License Updated Jun 7, 2024

  • ocaml_game_of_life Public

    Conway's Game of Life written in OCaml and using SDL via the tsdl binding

    OCaml 1 Updated May 15, 2024

  • pong-wars Public

    Forked from vnglst/pong-wars
    HTML MIT License Updated Feb 14, 2024

  • qr Public

    OCaml Updated Jul 22, 2022

  • ocaml-itree Public

    OCaml Updated Mar 15, 2022

  • coq-abstract-datatypes Public

    Simple examples of how abstract datatypes work in Coq, especially how they can be equipped with "proof obligations" in Gallina.

    Coq 1 Updated Mar 11, 2022

  • ocaml-project-template Public template

    This template was adapted from Martin Jambon's excellent Dune starter kit.

    ocaml opam dune
    OCaml Updated Feb 28, 2022

  • iter Public

    Forked from c-cube/iter

    Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.

    OCaml BSD 2-Clause "Simplified" License Updated Jan 7, 2022

  • rust-eopl Public

    Rust Updated Aug 9, 2021

  • cbench-vst Public

    Forked from cverified/cbench-vst

    VST verification of programs from the cbench benchmark

    Coq Updated Jul 2, 2021

  • FNMSu21 Public

    Forked from VeriNum/VerifiedLeapfrog
    Jupyter Notebook MIT License Updated Jun 30, 2021

  • ghulette.github.io Public

    CSS Updated May 6, 2021

  • func-info Public

    OCaml Updated May 5, 2021

  • ocaml-monad Public

    Very simple implementation of basic monad functions for some OCaml stdlib types.

    OCaml Updated Apr 10, 2021

  • basic_calculator_rs Public

    Forked from balajisivaraman/basic_calculator_rs

    Basic Calculator Implementation in Rust

    Rust MIT License Updated Apr 8, 2021

  • coq-lattice Public

    Working out lattice definitions in Coq

    Coq 1 1 MIT License Updated Apr 1, 2021

  • tla-nest Public

    TLA Updated Mar 15, 2021

  • kickstart-graphic Public

    OCaml Updated Mar 8, 2021

  • software-foundations Public

    Working through Software Foundations

    HTML Updated Mar 5, 2021

  • ocaml-smtlib Public

    An OCaml API for working with SMTLIB2

    OCaml MIT License Updated Jan 13, 2021

  • monad-supply Public

    Support for computations which consume values from a (possibly infinite) supply.

    Haskell 7 8 Other Updated Sep 14, 2020

  • tla-mode Public

    Forked from ratish-punnoose/tla-mode

    tla-mode for emacs

    Emacs Lisp GNU General Public License v2.0 Updated Feb 12, 2020

  • tsdl Public

    Forked from dbuenzli/tsdl

    Thin bindings to SDL for OCaml

    OCaml ISC License Updated Dec 15, 2019

  • haskell-ffi-example Public

    Examples using the Haskell 98 Standard FFI

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Jan 25, 2019

  • logic Public

    Experiments with logic programming

    Haskell MIT License Updated Mar 13, 2018

  • bisim Public

    Playing with bisimulation in Coq

    Makefile Updated Oct 7, 2017

  • sexpr Public

    Forked from zv/sexpr

    An encoding, decoding & utility library for S-expressions in Rust

    Rust Updated May 31, 2017

  • opal Public

    Forked from pyrocat101/opal

    Self-contained monadic parser combinators for OCaml

    OCaml MIT License Updated Mar 6, 2017

  • small-step Public

    Small step semantics in Coq

    Coq Updated Jan 23, 2017