-
mcpo Public
Forked from open-webui/mcpoA simple, secure MCP-to-OpenAPI proxy server
Python MIT License UpdatedApr 9, 2025 -
-
grokking-sc Public
Forked from grokking-sc/grokking-scArtifact for the Functional Pearl "Grokking the Sequent Calculus"
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 17, 2024 -
-
compiler Public
Forked from elm/compilerCompiler for Elm, a functional language for reliable webapps.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 21, 2023 -
elm-ast Public
Forked from Bogdanp/elm-astA parser for Elm in Elm.
Elm BSD 3-Clause "New" or "Revised" License UpdatedMar 10, 2023 -
elm-reactor Public
Forked from elm-lang/elm-reactorInteractive development tool that makes it easy to develop and debug Elm programs.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 22, 2023 -
elm-make Public
Forked from elm-lang/elm-makeA build tool for Elm projects
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2023 -
elm-repl Public
Forked from elm-lang/elm-replA REPL for Elm
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2023 -
elm-package Public
Forked from elm-lang/elm-packageCommand line tool to share Elm libraries
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2023 -
elm-mode Public
Forked from jcollard/elm-modeElm mode for emacs
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 3, 2023 -
hmf Public
Forked from sinelaw/hmfA copy of Daan Leijen's reference implementation of HMF (type inference)
Haskell UpdatedJan 31, 2023 -
propagators Public
Forked from ekmett/propagatorsThe Art of the Propagator. See also:
Haskell Other UpdatedDec 1, 2022 -
koka Public
Forked from koka-lang/kokaKoka language compiler and interpreter
Haskell Other UpdatedNov 16, 2022 -
thih Public
Attempt to make THIH to compile with stack on modern GHC
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 30, 2022 -
elm-format Public
Forked from avh4/elm-formatelm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 27, 2022 -
cl-competitive Public
Forked from privet-kitty/cl-competitiveCommon Lisp implementation of algorithms
Common Lisp UpdatedJul 20, 2021 -
-
unison Public
Forked from unisonweb/unisonA friendly programming language from the future
Haskell Other UpdatedMay 14, 2020 -
elm-bytes Public
Forked from ktonon/elm-bytesElm GNU Lesser General Public License v3.0 UpdatedFeb 26, 2020 -
megaparsec Public
Forked from mrkkrp/megaparsecIndustrial-strength monadic parser combinator library
Haskell Other UpdatedFeb 23, 2020 -
fsutils Public
Forked from Raynes/fsutilsHaskell file manipulation utilities.
Haskell MIT License UpdatedFeb 23, 2020 -
elm-0.18-packages Public
Forked from dmy/elm-0.18-packagesElm 0.18 packages search page
Elm BSD 3-Clause "New" or "Revised" License UpdatedFeb 17, 2020 -
-
elm-style-animation Public
Forked from mdgriffith/elm-style-animationThe style animation library for Elm!
Elm BSD 3-Clause "New" or "Revised" License UpdatedNov 6, 2019 -
staged-miniKanren Public
Forked from namin/staged-miniKanrenexplorations of multi-stage logic programming in miniKanren
Scheme UpdatedAug 28, 2019 -
dafny-sandbox Public
Forked from namin/dafny-sandboxDafny for Metatheory of Programming Languages
UpdatedJun 13, 2018 -
elm-components Public
Forked from edkv/elm-componentsA component-based approach to building UI in Elm
Elm BSD 3-Clause "New" or "Revised" License UpdatedMar 15, 2018 -
CompleteTranscription Public
Forked from AndreaCogliati/CompleteTranscriptionCode for the paper "Transcribing Human Piano Performances into Music Notation" accepted at ISMIR 2016
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 24, 2018 -
ejacs Public
Forked from emacsattic/ejacsEmacs Lisp GNU General Public License v2.0 UpdatedJan 22, 2018
{{ message }}