-
lausanne-meetup-aug-2025 Public
Forked from armanbilge/lausanne-meetup-aug-2025Collaborative project for the Typelevel Meetup in Lausanne in August 2025
Scala MIT License UpdatedAug 22, 2025 -
sounds-of-scala Public
Forked from pauliamgiant/sounds-of-scalaA sound library for scalaJs using Web Audio Api
Scala Apache License 2.0 UpdatedMay 17, 2025 -
TwitchDownloader Public
Forked from lay295/TwitchDownloaderTwitch VOD/Clip Downloader - Chat Download/Render/Replay
C# MIT License UpdatedApr 23, 2025 -
openmw Public
Forked from OpenMW/openmwOpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/
C++ GNU General Public License v3.0 UpdatedApr 22, 2025 -
deskflow Public
Forked from deskflow/deskflowShare a single keyboard and mouse between multiple computers.
C++ GNU General Public License v2.0 UpdatedApr 14, 2025 -
libfaketime Public
Forked from wolfcw/libfaketimelibfaketime modifies the system time for a single application
C GNU General Public License v2.0 UpdatedMar 29, 2025 -
-
scala-seed Public
Forked from DevInsideYou/scala-seedA Nix flake for getting started with Scala.
-
Sidekick Public
Forked from johnbean393/SidekickA native macOS app that allows users to chat with a local LLM that can respond with information from files, folders and websites on your Mac without installing any other software. Powered by llama.…
Swift MIT License UpdatedMar 12, 2025 -
yaes Public
Forked from rcardin/yaesAn experimental effect system in Scala using capability passing style
Scala MIT License UpdatedMar 12, 2025 -
SymmetryBook Public
Forked from UniMath/SymmetryBookThis book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
-
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX Other UpdatedMar 10, 2025 -
Publications Public
Forked from BartoszMilewski/PublicationsMisc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
Haskell UpdatedMar 10, 2025 -
idris2-streams Public
Forked from stefan-hoeck/idris2-streamsFunctional, effectful streams with resource management
Idris BSD 3-Clause "New" or "Revised" License UpdatedFeb 21, 2025 -
idris2-tutorial Public
Forked from stefan-hoeck/idris2-tutorialIdris BSD 3-Clause "New" or "Revised" License UpdatedFeb 19, 2025 -
dafny Public
Forked from dafny-lang/dafnyDafny is a verification-aware programming language
C# Other UpdatedFeb 13, 2025 -
category-theory-illustrated Public
Forked from abuseofnotation/category-theory-illustratedA book about category theory
HTML UpdatedFeb 4, 2025 -
-
tact Public
Forked from tact-lang/tactTact compiler main repository
TypeScript MIT License UpdatedJan 22, 2025 -
cue-lang_fork Public
Forked from cue-lang/cueThe home of the CUE language! Validate and define text-based and dynamic configuration
Go Apache License 2.0 UpdatedJan 17, 2025 -
the-clowder-project Public
Forked from The-Clowder-Project/the-clowder-projectThis is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general
TeX Other UpdatedJan 10, 2025 -
-
-
telegram-bot-simple-haskell-example Public
Forked from fizruk/telegram-bot-simpleEasy to use library for building Telegram bots in Haskell.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 31, 2024 -
agda2hs Public
Forked from agda/agda2hsCompiling Agda code to readable Haskell
Agda MIT License UpdatedOct 10, 2024 -
Unison-Forall-2024 Public
Forked from SystemFw/Unison-Forall-2024Slides for my talk on Distributed Streaming at Unison Forall 2024
JavaScript UpdatedSep 22, 2024 -
nixos-in-production Public
Forked from Gabriella439/nixos-in-productionSource files for the book "NixOS in Production"
Nix Other UpdatedSep 14, 2024 -
cricket_rs Public
Forked from RyanBrewer317/cricket_rsA tiny lazy objective functional language
Rust UpdatedSep 12, 2024 -
chirpy-starter Public template
Forked from cotes2020/chirpy-starterThe startup template for Chirpy.
Shell MIT License UpdatedSep 1, 2024 -
lean-mlir Public
Forked from opencompl/lean-mlirA minimal development of SSA theory
MLIR Other UpdatedAug 23, 2024
{{ message }}