someplaceguy

someplaceguy's Stars

• polyml/polyml

  Poly/ML

  Language:Standard ML49147

• cannam/sml-buildscripts

  Scripts to compile and run Standard ML programs defined in .mlb files.

  Language:Shell153

• ggerganov/llama.cpp

  LLM inference in C/C++

  Language:C++70.7k10.2k

• minoki/LunarML

  The Standard ML compiler that produces Lua/JavaScript

  Language:Standard ML36410

• gittup/tup

  Tup is a file-based build system.

  Language:C1.2k146

• HOL-Theorem-Prover/HOL

  Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

  Language:Standard ML638144