aBathologist

aBathologist's Stars

• abbysmal/Canopy

  A git-blogging unikernel written using MirageOS

  Language:OCaml12027

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.6k399

• JohnEarnest/ok

  An open-source interpreter for the K5 programming language.

  Language:JavaScript58972

• pqwy/notty

  Declarative terminal graphics for OCaml

  Language:OCaml34931

• solvuu/solvuu-build

  DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).

  Language:OCaml245

• ocaml/oasis

  Cabal like system for OCaml

  Language:OCaml12445

• ocaml-community/utop

  Universal toplevel for OCaml

  Language:OCaml843112

• ocaml-community/lambda-term

  Terminal manipulation library for OCaml

  Language:OCaml20943

• vyos/vyconf

  Software appliance configuration framework

  Language:OCaml2510

• lifeforms/irssi-smartfilter

  Irssi smart filter to selectively hide JOIN/QUIT in busy channels

  Language:Perl1448

• qutebrowser/qutebrowser

  A keyboard-driven, vim-like browser based on Python and Qt.

  Language:Python9.6k1k

• jozefg/sml-fingertree

  The ugliness is worth it, the ugliness is worth it, the ugliness...

  Language:Standard ML8

• rescript-lang/rescript-compiler

  The compiler for ReScript.

  Language:ReScript6.7k442

• kfl/webserver-functor

  Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

  Language:Standard ML121

• br0ns/PreML

  Preprocessor for SML

  Language:Standard ML102

• vilmibm/prosaic

  cut-up poetry generation over large corpora

  Language:Python12321

• vilmibm/node-prosaic

  [v old and outdated] automated cut-up poetry over large corpora

  Language:CoffeeScript15

• polyml/polyml

  Poly/ML

  Language:Standard ML48445

• eatonphil/ponyo

  Library and Toolkit for Standard ML

  Language:Standard ML1447

• melsman/mlkit

  Standard ML Compiler and Toolkit

  Language:Standard ML27430

• punassuming/ranger.el

  Bringing the goodness of ranger to dired!

  Language:Emacs Lisp69952

• SMLFamily/Successor-ML

  A version of the 1997 SML definition with corrections and some proposed Successor ML features added.

  Language:TeX19110

• SMLFamily/BasisLibrary

  Repository and Wiki for enriching the Standard ML Basis Library

  Language:Standard ML604

• teyjus/teyjus

  An efficient implementation of the higher-order logic programming language Lambda Prolog

  Language:C14522

• lmntal/slim

  slim LMNtal implementation

  Language:C++185

• Anniepoo/weblog

  Web Framework for SWI-Prolog

  Language:Prolog417

• br0ns/mylib

  Library for Standard ML

  Language:Standard ML182

• robsimmons/sml-lib

  Library for Standard ML

  Language:Standard ML544

• jonsterling/JonPRL

  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

  Language:Standard ML1099

• c-cube/datalog

  An in-memory datalog implementation for OCaml.

  Language:Prolog25422