Pinned Repositories
Autosplitters
Scripts in autosplitter language (asl) to be used in speedrunning
class
DLV_compiler
Trabalho da matéria de Compiladores 2020/1 UFES
drf-spectacular
Sane and flexible OpenAPI 3 schema generation for Django REST framework.
drf-spectacular-testcase
A repository I created to test drf-spectacular
HVM-Lang
VS Code extension for the HVM language syntax highlighting
Kind-Lang
VS Code extension for the Kind2 language syntax highlighting
Kind2
Kind refactor based on HVM
langium-utils
listas_ppd
Danfs64's Repositories
Danfs64/HVM-Lang
VS Code extension for the HVM language syntax highlighting
Danfs64/Autosplitters
Scripts in autosplitter language (asl) to be used in speedrunning
Danfs64/class
Danfs64/DLV_compiler
Trabalho da matéria de Compiladores 2020/1 UFES
Danfs64/drf-spectacular
Sane and flexible OpenAPI 3 schema generation for Django REST framework.
Danfs64/drf-spectacular-testcase
A repository I created to test drf-spectacular
Danfs64/Kind-Lang
VS Code extension for the Kind2 language syntax highlighting
Danfs64/Kind2
Kind refactor based on HVM
Danfs64/langium-utils
Danfs64/listas_ppd
Danfs64/LiveSplit
A sleek, highly customizable timer for speedrunners.
Danfs64/prelude
Estruturas puramente funcionais na HVM
Danfs64/python-decouple
Strict separation of config from code.
Danfs64/rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
Danfs64/rinha_de_compilers
Danfs64/shannon
it deletes itself
Danfs64/Tonto
Tonto is a DSL created to make it easier to work with Ontologies based on OntoUML
Danfs64/trab1_ed2
Danfs64/trab_java
Danfs64/Wikind
Vast collection of Kind2 definitions