-
ProofWidgets4 Public
Forked from leanprover-community/ProofWidgets4Helper toolkit for creating your own Lean 4 UserWidgets
Lean Apache License 2.0 UpdatedMay 12, 2025 -
-
computational-semantics Public
Forked from dorchard/computational-semanticsFork of the code examples from "Computational Semantics with Functional Programming" (Eijck, Unger) http://www.computational-semantics.eu/
Haskell UpdatedJul 12, 2024 -
-
YampaEC Public
Forked from ivanperez-keera/YampaFunctional Reactive Programming domain-specific language for efficient hybrid systems
Haskell UpdatedAug 27, 2022 -
Nu Public
Forked from bryanedds/NuRepository hosting the open-source Nu Game Engine and related projects.
F# MIT License UpdatedJul 15, 2022 -
-
-
-
-
-
-
-
monogame-fsharp Public
Forked from romanov/monogame-fsharpF# template for creating games via MonoGame
F# UpdatedJan 22, 2021 -
haskell-to-elm Public
Forked from eeue56/haskell-to-elmBSD 3-Clause "New" or "Revised" License UpdatedNov 20, 2020 -
Euterpea2 Public
Forked from Euterpea/Euterpea2Euterpea version 2
Haskell zlib License UpdatedApr 21, 2020 -
elm-playground Public
Forked from evancz/elm-playgroundCreate pictures, animations, and games with Elm!
Elm BSD 3-Clause "New" or "Revised" License UpdatedMar 13, 2020 -
-
rust-book-fr Public
Forked from greizgh/rust-book-frA French translation of "The Rust Programming Language".
UpdatedNov 3, 2019 -
yampa-sdl2 Public
Forked from Simre1/yampa-sdl2Yampa and SDL2 made easy
Haskell MIT License UpdatedJul 20, 2019 -
A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
Haskell MIT License UpdatedDec 1, 2018
{{ message }}