-
tichy-clicker Public
Tichy-Klicker
-
planetutils Public
Forked from interline-io/planetutilsScripts and a Docker container to maintain your own OpenStreetMap planet, terrain tiles, & Valhalla Tilepacks
Python Other UpdatedDec 29, 2024 -
dunai Public
Forked from ivanperez-keera/dunaiClassic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Haskell UpdatedOct 21, 2024 -
haskell-language-server Public
Forked from haskell/haskell-language-serverOfficial haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Haskell Apache License 2.0 UpdatedOct 13, 2024 -
wai Public
Forked from yesodweb/waiHaskell Web Application Interface
Haskell MIT License UpdatedMay 15, 2024 -
hoff Public
Forked from channable/hoffA gatekeeper for your commits
Haskell Apache License 2.0 UpdatedMay 6, 2024 -
scotty Public
Forked from scotty-web/scottyHaskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2024 -
rio Public
Forked from raphamorim/rioA hardware-accelerated GPU terminal emulator focusing to run in desktops and browsers.
Rust MIT License UpdatedApr 9, 2024 -
Graphite Public
Forked from GraphiteEditor/Graphite2D raster & vector editor that melds traditional layers & tools with a modern node-based, fully non-destructive procedural workflow.
Rust Apache License 2.0 UpdatedAug 1, 2023 -
-
text-builder-dev Public
Forked from nikita-volkov/text-builder-devEdge of developments for "text-builder"
Haskell MIT License UpdatedApr 21, 2022 -
unicode-data Public
Forked from composewell/unicode-dataAccess unicode character database
Haskell Apache License 2.0 UpdatedApr 20, 2022 -
chunky Public
A bukkit plugin that stops players from leaving their chunk.
Java UpdatedOct 18, 2021 -
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 15, 2021 -
-
stack Public
Forked from commercialhaskell/stackThe Haskell Tool Stack
Haskell Other UpdatedOct 29, 2020 -
-
ghc-dump Public
Forked from bgamari/ghc-dumpA GHC plugin and library for analysing GHC Core
Haskell UpdatedOct 11, 2020 -
-
lambda-diff Public
Implementation of the structural diffing algorithm from AEATSD on simple λ-terms.
Nix MIT License UpdatedApr 16, 2020 -
bumerik Public
Cheatsheet für "Numerische Mathematik für Informatiker und Ingenieure" am KIT (19WS). Definitiv nicht vollständig.
TeX UpdatedFeb 14, 2020 -
-
streets Public
Extract OSM ways and put them into an SVG for great good.
Erlang UpdatedNov 12, 2019 -
-
stm32f7-discovery Public
Forked from embed-rs/stm32f7-discoveryRust Apache License 2.0 UpdatedApr 10, 2019 -
-
-
{{ message }}