Daniel Silva (Danfs64)

Danfs64

Geek Repo

Location:Brazil

Github PK Tool:Github PK Tool

Daniel Silva's repositories

HVM-Lang

VS Code extension for the HVM language syntax highlighting

License:MITStargazers:9Issues:1Issues:0

Autosplitters

Scripts in autosplitter language (asl) to be used in speedrunning

Language:ASLLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

DLV_compiler

Trabalho da matéria de Compiladores 2020/1 UFES

Language:C++License:MITStargazers:0Issues:0Issues:0

drf-spectacular

Sane and flexible OpenAPI 3 schema generation for Django REST framework.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

drf-spectacular-testcase

A repository I created to test drf-spectacular

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

Kind-Lang

VS Code extension for the Kind2 language syntax highlighting

License:MITStargazers:0Issues:0Issues:0

Kind2

Kind refactor based on HVM

Language:RustStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:0Issues:0

LiveSplit

A sleek, highly customizable timer for speedrunners.

Language:C#License:MITStargazers:0Issues:0Issues:0

prelude

Estruturas puramente funcionais na HVM

Stargazers:0Issues:0Issues:0

python-decouple

Strict separation of config from code.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

rinha-de-compiler

🥖 | Rinha de compiladores (ou interpretadores kkkk

Stargazers:0Issues:0Issues:0
Language:TypeScriptLicense:GPL-3.0Stargazers:0Issues:0Issues:0

shannon

it deletes itself

Language:MakefileLicense:UnlicenseStargazers:0Issues:0Issues:0

Tonto

Tonto is a DSL created to make it easier to work with Ontologies based on OntoUML

Language:TypeScriptLicense:AGPL-3.0Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0
Language:JavaStargazers:0Issues:0Issues:0

Wikind

Vast collection of Kind2 definitions

License:NOASSERTIONStargazers:0Issues:0Issues:0