-
coq-derivations Public
Deriving programs from specifications with the Coq proof assistant
Coq MIT License UpdatedMay 2, 2024 -
-
-
DynamicSpreadsheets Public
Crie, acesse, atualize e consulte planilhas pelo terminal
-
-
-
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedJul 17, 2021 -
documentation Public
Forked from purescript/documentationDocumentation for the PureScript language, compiler, and tools.
Other UpdatedJun 23, 2021 -
LayoutLanguageSDL Public
An experimental EDSL in Haskell for visual interfaces with SDL
Haskell MIT License UpdatedMay 23, 2021 -
idris2-vim Public
Forked from edwinb/idris2-vimVim mode for Idris 2
Vim Script UpdatedJan 10, 2021 -
-
HeatSimulation Public
A simulation of heat transfer using bouncing balls in a container
JavaScript MIT License UpdatedOct 9, 2020 -
TDDwithIdrisExercises Public
Solved exercises of the Type Driven Development with Idris book, up to chapter 8
Idris MIT License UpdatedOct 9, 2020 -
LambdaExperiments Public
Me playing with the lambda calculus and type inference
Haskell MIT License UpdatedOct 9, 2020 -
-
VolleyballRotations Public
An App for practicing the volleyball 5-1 rotation system
-
-
-
-
PlfaNatProofs Public
Proofs of properties of operations on natural numbers
Agda MIT License UpdatedOct 9, 2020 -
Structured-Editor-For-Python Public
A Vim plugin for structured editing of python code
-
agda-vim Public
Forked from 1000000000/agda-vimAgda interaction in vim
Vim Script BSD 2-Clause "Simplified" License UpdatedJun 4, 2020 -
-
-
-
-
-
-
-