Skip to content
View dhilst's full-sized avatar
😻
😻
148 followers · 149 following

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report dhilst

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

  • coq-serapi Public

    Forked from rocq-archive/coq-serapi

    Coq Protocol Playground with Se(xp)rialization of Internal Structures.

    OCaml Other Updated Nov 13, 2022

  • myproj Public

    Makefile Updated Nov 2, 2022

  • brlang Public

    A linguagem dos memes

    OCaml 13 Updated Sep 21, 2022

  • lexbuflab Public

    testing stuff with lexbuf

    OCaml Updated Sep 3, 2022

  • lampy3 Public

    yet another try to make a functional python

    Python 6 Updated Jul 31, 2022

  • unify2- Public

    first order unification in ocaml (study)

    OCaml Updated Jul 15, 2022

  • coq-io-io Public

    Forked from coq-io/io

    A library for effects in Coq.

    Coq MIT License Updated May 28, 2022

  • coq-io-hello-world Public

    Forked from coq-io/hello-world

    A Hello World program in Coq.

    Coq MIT License Updated May 28, 2022

  • Zarith Public

    Forked from ocaml/Zarith

    The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

    OCaml Other Updated May 3, 2022

  • lis.py Public

    Small lisp interpreter in Python

    Python 9 1 Updated Apr 23, 2022

  • mlisp Public

    OCaml Updated Apr 14, 2022

  • coq-of-ocaml Public

    Forked from formal-land/coq-of-ocaml

    Formal verification of OCaml programs

    OCaml MIT License Updated Apr 4, 2022

  • rlambda Public

    Right associative application lambda calculus in python

    Python 1 Updated Feb 21, 2022

  • lampy Public

    Lambda calc in Python 3

    Python 2 Apache License 2.0 Updated Jan 31, 2022

  • gkoeditor Public

    OCaml 1 Updated Oct 31, 2021

  • coqstudy Public

    Coq studying

    Coq 3 Updated Sep 21, 2021

  • LangtonAnt Public

    Langtons Ant in Haskell

    Haskell 3 BSD 3-Clause "New" or "Revised" License Updated Sep 9, 2021

  • brick-stake-tutorial-exercice- Public

    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Aug 31, 2021

  • lambk Public

    Lambda calculus in Haskell

    Haskell 3 BSD 3-Clause "New" or "Revised" License Updated Aug 29, 2021

  • vlisp Public

    VimL lisp evaluator

    Vim Script 10 Other Updated Jun 19, 2021

  • bash4noobs Public

    Bash script 4noobs

    7 Apache License 2.0 Updated Jun 2, 2021

  • mautic Public

    Forked from mautic/mautic

    Mautic: Open Source Marketing Automation Software.

    PHP Other Updated May 21, 2021

  • asdf-haskell Public

    Forked from asdf-community/asdf-haskell

    Haskell plugin for the asdf version manager

    Shell Other Updated May 13, 2021

  • vim-ansible-execute-task Public

    vim plugin for executing tasks directly from selected text

    Vim Script 1 MIT License Updated Apr 3, 2021

  • HelloWorldBundle Public

    Mautic plugin hello world with custom action

    PHP Updated Apr 2, 2021

  • funcyou Public

    Python functional cheats

    Python 2 Updated Nov 29, 2020

  • pq Public

    Pthreads Queue: A simple synchronous queue for exchanging messages between pthreads.

    C++ 4 1 Updated Nov 24, 2020

  • myml Public

    Fun parsing with Rust <3

    Rust 1 Updated Aug 19, 2020

  • TodoApi Public

    C# 2 Updated Jun 18, 2020

  • vecfold Public

    Rust library to fold vector of results

    Rust 1 Apache License 2.0 Updated Apr 20, 2020