Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by shonfeder
A curated list of projects in awesome lists by shonfeder .
https://github.com/shonfeder/um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
abt ocaml plt unification variables
Last synced: 15 Nov 2024
https://github.com/shonfeder/emojitsu
Tiny executable techniques for dealing with emoji
Last synced: 15 Nov 2024
https://github.com/shonfeder/alg_structs
Algebraic Structures in OCaml Structs
Last synced: 15 Nov 2024
https://github.com/shonfeder/tokenize
A tokenizer written in (SWI-)Prolog. It has some useful features and some flexibility and it might improve.
Last synced: 15 Nov 2024
https://github.com/shonfeder/kwdcmd
Keywords to Write Command Lines ~ Partial porcelain around Cmdliner
Last synced: 15 Nov 2024
https://github.com/shonfeder/nomad
OCaml project situation tools: wander freely to find fertile ground
Last synced: 15 Nov 2024
https://github.com/shonfeder/nd_project
[WIP] A pedagogical toy for learning natural deduction
Last synced: 15 Nov 2024
https://github.com/shonfeder/protelog
Experiments with prolog sugar and langauge extensions — cf. "proteus"
Last synced: 15 Nov 2024
https://github.com/shonfeder/borgmanities
A short-lived twitter bot in Haskell (and a bit of Python)
Last synced: 08 Dec 2024
https://github.com/shonfeder/aoc
AOC
advent-of-code aoc2021 aoc2022 aoc2022-in-ocaml ocaml
Last synced: 15 Nov 2024
https://github.com/shonfeder/sml-utils
A nascent, in progress library of utility modules for SML (compatible with, and using extensions offered by SML/NJ)
Last synced: 15 Nov 2024
https://github.com/shonfeder/99-lambda-prolog-problems
99 λProlog Problems (eventually)
99problems lambda-prolog prolog
Last synced: 15 Nov 2024
https://github.com/shonfeder/synechepedia
Connected notes on explorations of connections (homepage src)
Last synced: 15 Nov 2024
https://github.com/shonfeder/consolate
Experimental utilities to console operators of consoles
Last synced: 15 Nov 2024
https://github.com/shonfeder/ocobs
COBS (Consistent Overhead Byte Stuffing) in OCaml
Last synced: 15 Nov 2024
https://github.com/shonfeder/aoc-2020
Solutions for the Advent of Code 2020 in Lamba Prolog
Last synced: 15 Nov 2024
https://github.com/shonfeder/changeling
Harmonize changelogs without mangling their purpose
Last synced: 15 Nov 2024
https://github.com/shonfeder/ocaml-effstudies
Studies using OCaml 5's effect handlers
Last synced: 15 Nov 2024
https://github.com/shonfeder/ctfp
Category Theory for Programmers notes and solutions in OCaml
Last synced: 15 Nov 2024
https://github.com/shonfeder/bindop
Common monadic binding operators for OCaml
Last synced: 15 Nov 2024
https://github.com/shonfeder/amazons
A web app providing a venu to play the Game of the Amazons
Last synced: 15 Nov 2024
https://github.com/shonfeder/1caml
1Caml is an implementation of 1ML targeting the OCaml runtime
Last synced: 15 Nov 2024
https://github.com/shonfeder/irminrc-ex
Example repo for irminrc experiment
Last synced: 15 Nov 2024
https://github.com/shonfeder/emacsconfig
My emacs (spacemacs) configuration files
Last synced: 15 Nov 2024
https://github.com/shonfeder/algorithm-studies
Implementations of algorithms in various languages.
Last synced: 15 Nov 2024
https://github.com/shonfeder/these
An OCaml port of Haskell's Data.These and Data.Algin
Last synced: 15 Nov 2024
https://github.com/shonfeder/summer
An experiment in programming with term logic
Last synced: 15 Nov 2024
https://github.com/shonfeder/scalafmt-missing-token-err-mwe
minmum reproduction of uncaught exception in scalafmt, for filing issue
Last synced: 15 Nov 2024
https://github.com/shonfeder/reactive_tic_tack_toe
A study in client-server reactive programming in OCaml with Eliom and Ocsigen
Last synced: 15 Nov 2024
https://github.com/shonfeder/reflex
A tool for distributed, cooperative (retro|pro|intro|<etc.>)-spection
Last synced: 15 Nov 2024
https://github.com/shonfeder/ocaml-ci-docker
Docker image for CI with OCaml
Last synced: 15 Nov 2024
https://github.com/shonfeder/ocaml-circleci-example
An example of basic CircleCI configurationfor OCaml projects
Last synced: 15 Nov 2024