-
-
-
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.
-
-
-
-
-
souffle-haskell Public
Forked from luc-tielen/souffle-haskellHaskell bindings for the Souffle datalog language
Haskell MIT License UpdatedJun 23, 2020 -
LearningCoq Public
Coq exercises.
-
coding-interview-university Public
Forked from jwasham/coding-interview-universityA complete computer science study plan to become a software engineer.
Creative Commons Attribution Share Alike 4.0 International UpdatedNov 19, 2019 -
{{ message }}