shonfeder Goto Github PK

1caml

1Caml is an implementation of 1ML targeting the OCaml runtime

1ml

1ML prototype interpreter

99-lambda-prolog-problems

99 λProlog Problems (eventually)

absinthe

The GraphQL toolkit for Elixir

advent-of-code

Advent of Code Solutions

alg_structs

Algebraic Structures in OCaml Structs

algorithm-studies

Implementations of algorithms in various languages.

amazons

A web app providing a venu to play the Game of the Amazons

aoc

AOC

aoc-2020

Solutions for the Advent of Code 2020 in Lamba Prolog

apalache

APALACHE: symbolic model checker for TLA+

atd

Static types for JSON APIs

aws_ssm_provider

A configuration provider for Distillery which handles with AWS SSM parameters

b0

Software construction and deployment kit

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

bindop

Common monadic binding operators for OCaml

blog

blog_posts

all blog posts

changeling

Harmonize changelogs without mangling their purpose

changeling-action

WIP

cometbft

CometBFT: A distributed, Byzantine fault-tolerant, deterministic state machine replication engine, and fork of Tendermint Core.

consolate

Experimental utilities to console operators of consoles

coophub

Cooperatives repos over the world! 🌈🌎

ctfp

Category Theory for Programmers notes and solutions in OCaml

ctfp-2021

Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.

curly

Command line curl wrapper for OCaml

docker-base-images

Generate various Docker ocaml images

docker-salt-masterless

Docker image for masterless SaltStack

doom-d

My doom-emacs configs

doom-emacs

An Emacs configuration for the stubborn martian vimmer