Highlights
- Pro
-
resonance Public
Forked from orllewin/resonanceLua GNU General Public License v3.0 UpdatedJul 17, 2025 -
playdate-fennel-starter Public template
Forked from therabidbanana/playdate-fennel-starterA starter template for Fennel on Playdate
Fennel MIT License UpdatedMay 9, 2025 -
zigchr Public
Forked from LukasPietzschmann/zigchrA FreeCHR instance written in Zig
Zig BSD 3-Clause "New" or "Revised" License UpdatedOct 20, 2024 -
-
-
fisher Public
Forked from jorgebucaran/fisherA plugin manager for Fish
Shell MIT License UpdatedApr 7, 2024 -
TypesAndProofs Public
Forked from ptarau/TypesAndProofsType inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
Prolog Apache License 2.0 UpdatedMar 30, 2024 -
ichiban-prolog Public
Forked from ichiban/prologThe only reasonable scripting engine for Go.
Go MIT License UpdatedFeb 18, 2024 -
interactive-lp Public
Forked from chrisamaphone/interactive-lpProject materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
Standard ML Other UpdatedJan 25, 2024 -
prolog_notes Public
Forked from dtonhofer/prolog_notesSome notes taken while working on Prolog
Prolog Other UpdatedNov 29, 2023 -
byrne-euclid Public
Forked from jemmybutton/byrne-euclidMetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
TeX GNU General Public License v3.0 UpdatedOct 4, 2023 -
lptp Public
Forked from FredMesnard/lptpLPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's
Prolog Other UpdatedAug 28, 2023 -
elmboy Public
Forked from Malax/elmboyA Nintendo™ Game Boy™ Emulator written in Elm.
Elm GNU Affero General Public License v3.0 UpdatedJul 19, 2023 -
-
elm-ui Public
Forked from mdgriffith/elm-uiWhat if you never had to write CSS again?
Elm BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2022 -
LogicTransformers Public
Forked from ptarau/LogicTransformersTransformers from Horn Clause Programs to Code Running on Lightweight Python, Swift, Julia and C-based VMs
Prolog Apache License 2.0 UpdatedMay 3, 2022 -
lazy-list Public
Forked from the-sett/lazy-listLazy Lists (or Sequences) for Elm
Elm BSD 3-Clause "New" or "Revised" License UpdatedOct 27, 2021 -
timeline Public
Timeline helps you add smooth transition animations to Elm programs.
-
elm-optimize-level-2 Public
Forked from mdgriffith/elm-optimize-level-2TypeScript BSD 3-Clause "New" or "Revised" License UpdatedMar 6, 2021 -
swipl_chr_tutorial Public
Forked from Anniepoo/swiplchrtutTutorial for the CHR system
CSS Other UpdatedFeb 8, 2021 -
prolog-chess Public
Forked from thepieterdc/prolog-chessChess in Prolog
Prolog UpdatedJan 13, 2021 -
-
component-result Public
Streamline sub-component and page boilerplate in larger Elm apps.
-
jaro-winkler Public
Elm implementation of Jaro-Winkler similarity.
-
zipper Public
A Zipper useful for navigating into nested records, mapping a value, and returning the updated result.
-
-
json.pivot Public
Perform Pivot (sorting & table-building) operations on JSON data.
-
helm Public
Forked from mtytel/helmHelm - a free polyphonic synth with lots of modulation
C++ GNU General Public License v3.0 UpdatedAug 20, 2019 -
TMDb-Elm Public
Example Elm interface to TMDb themoviedb.org
-