GeoffChurch

GeoffChurch's Stars

• ventoy/Ventoy

  A new bootable USB solution.

  Language:C61.3k6472.2k4k

• photoprism/photoprism

  AI-Powered Photos App for the Decentralized Web 🌈💎✨

  Language:Go34.3k3342.2k1.9k

• EnterpriseQualityCoding/FizzBuzzEnterpriseEdition

  FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

  Language:Java21.1k175556749

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.1k90232419

• HigherOrderCO/HVM

  A massively parallel, optimal functional runtime in Rust

  Language:Cuda10.4k98187389

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k122632357

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k541.6k116

• ipfs-cluster/ipfs-cluster

  Pinset orchestration for IPFS

  Language:Go1.5k96697285

• jart/sectorlisp

  Bootstrapping LISP in a Boot Sector

  Language:C1.3k311054

• triska/the-power-of-prolog

  Introduction to modern Prolog

  Language:HTML1.2k523571

• nornagon/jonesforth

  Mirror of JONESFORTH

  Language:Assembly997304141

• oriansj/stage0

  A set of minimal dependency bootstrap binaries

  Language:Assembly912291951

• kragen/stoneknifeforth

  a tiny self-hosted Forth implementation

  Language:Forth41325521

• openbios/openbios

  First published Open Source implementation of OpenFirmware

  Language:C34232975

• bakks/butterfish

  A shell with AI superpowers

  Language:Go31063026

• mlatu-lang/mlatu

  A declarative concatenative programming language

  Language:Rust15971110

• meithecatte/miniforth

  A bootsector FORTH

  Language:Forth120979

• SWI-Prolog/tabled-prolog-book

  Programming in Tabled Prolog by David S Warren

  Language:TeX221423

• splch/quantumtales

  A series of short stories describing quantum algorithms and their use-cases.

  Language:Jupyter Notebook21502

• byorgey/species

  Language:Haskell17851

• dicpeynado/prolog-in-forth

  L. L. Odette's Prolog Virtual Machine (PVM) implemented in Forth. Upgraded to 32 Bit ANSI Forth. Tested on ForthWin.

  Language:Forth13301

• oisdk/semiring-num

  library with a semiring class and some useful semirings

  Language:Haskell11342

• ninegua/reduxer

  An interactive beta reduction calculator for lambda calculus

  Language:Haskell10201

• splch/heirs-of-nyx

  A procedurally-generated adventure game in 32KB

  Language:C10270

• djdv/go-filesystem-utils

  Language:Go97192

• WeixiMa/MK2020

  Language:Racket6103

• leuschel/lix

  Lix: A self-applicable partial evaluator for Prolog

  Language:Prolog50

• JanWielemaker/ddebug

  Declarative debugger

  Language:Prolog230

• tdupes/dlv

  Latin Bible verses on the command line with English translations

  Language:Awk2

• dragan-ivanovic/flycheck-swi-prolog

  SWI Prolog syntax checker for Emacs

  Language:Emacs Lisp10