-
project-nomad Public
Forked from Crosstalk-Solutions/project-nomadProject N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.
TypeScript Apache License 2.0 UpdatedJun 7, 2026 -
mattpocock-skills Public
Forked from mattpocock/skillsSkills for Real Engineers. Straight from my .claude directory.
Shell MIT License UpdatedApr 27, 2026 -
gstack Public
Forked from garrytan/gstackUse Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
TypeScript MIT License UpdatedApr 1, 2026 -
Apollo-11 Public
Forked from chrislgarry/Apollo-11Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Assembly Other UpdatedJan 22, 2026 -
-
-
-
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedJun 25, 2024 -
-
PLFI Public
Programming Language Foundations in Idris
-
aoc2022 Public
Advent of Code 2022
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedMay 9, 2023 -
idris2-lsp-vscode Public
Forked from bamboo/idris2-lsp-vscodeVisual Studio Code integration for the Idris 2 language server
TypeScript MIT License UpdatedFeb 26, 2023 -
-
-
-
idris2-lsp Public
Forked from idris-community/idris2-lspLanguage Server for Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedNov 9, 2021 -
-
order-taking Public
Idris version of Domain Modeling Made Functional Book.
-
awesome-ddd Public
Forked from heynickc/awesome-dddA curated list of Domain-Driven Design (DDD), Command Query Responsibility Segregation (CQRS), Event Sourcing, and Event Storming resources
UpdatedAug 18, 2021 -
-
mario Public
Forked from reruns/marioA javascript clone of Super Mario Bros. for the NES
JavaScript MIT License UpdatedJul 3, 2021 -
-
cs-video-courses Public
Forked from Developer-Y/cs-video-coursesList of Computer Science courses with video lectures.
UpdatedJan 15, 2021 -
-
plfa-docker Public
Docker image for Programming Language Foundations in Agda
Dockerfile UpdatedDec 9, 2020 -
ArchaIdr Public
Classic Arcade games written in Idris compiled to JavaScript.
-
-
-
{{ message }}