rodrigogribeiro
Follow
-
bcc328 Public
Materiais do curso de compiladores.
-
-
-
-
-
-
haskell-exam-autograding Public template
Forked from Idokorro/haskell-exam-autogradingTemplate repository for Haskell exams and projects. Includes GitHub Autograding action.
Shell MIT License UpdatedJun 21, 2024 -
vimrc Public
Forked from amix/vimrcThe ultimate Vim configuration (vimrc)
Vim Script MIT License UpdatedMay 27, 2024 -
-
haskell-stack-nix-example Public
Forked from tweag/haskell-stack-nix-exampleExamples of valid and invalid Stack + Nix integration
Nix MIT License UpdatedNov 30, 2023 -
-
astrovim-config Public template
Forked from AstroNvim/user_exampleAstrovim config
Lua UpdatedAug 10, 2023 -
-
-
theorem_proving_in_lean4 Public
Forked from leanprover/theorem_proving_in_lean4Theorem Proving in Lean 4
JavaScript Apache License 2.0 UpdatedApr 8, 2023 -
agda-unimath Public
Forked from UniMath/agda-unimathUnivalent mathematics in Agda
CSS MIT License UpdatedMar 8, 2023 -
spacemacs.d Public
Forked from practicalli/spacemacs-configrich Clojure & LSP config for Spacemacs
Emacs Lisp UpdatedMay 14, 2022 -
-
-
-
-
pcc116-agda-lib Public
Agda library for the course PCC116 - Logics in Computer Science
-
org-agda-mode Public
Forked from alhassy/org-agda-modeAn Emacs mode for working with Agda code in an Org-mode like fashion, more or less.
Emacs Lisp UpdatedOct 5, 2021 -
-
-
-
-
-
-