Beast code in Giters

Bruno Lopes's starred repositories

monadic-heap

Language:Clojure100

latexify_py

A library to generate LaTeX expression from Python code.

Language:PythonApache-2.0723500

diagrammatic-proof-service

Language:Kotlin200

TEpci_Coq

Language:Coq200

ocaml4noobs

Tutorial de OCaml para iniciantes na Linguagem.

Language:OCaml38800

avell-unofficial-control-center

This is a Unofficial Control Center for Avell Laptops with Linux System

Language:PythonMIT27300

RGCoq

Formalization of Regular Languages Theory formalisms such as Regular Grammars and Finite Automata in the Coq proof assistant.

Language:CoqLGPL-2.1100

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXCC-BY-4.0107300

macvim

Vim - the text editor - for Mac OS X

Language:C508800

SequentProver

Engine Gráfica para grafos + Logica de calculo de sequentes

Language:Lua100

SequentProver

Engine Gráfica para grafos + Lógica de cálculo de sequentes

Language:Lua300

TableauxProver

An automatic and semi-automatic theorem prover on Tableaux

Language:Lua200

TableauxProver

An automatic and semi-automatic theorem prover on Tableaux

Language:Lua600

MoinMoin-Parser-BibTeX2

MoinMoin BibTeX2 Parser

Language:Python400

Logicamente-UTFPR

A version of the Tree Interaction tab of the Logicamente tool for teaching Logic.

Language:Java1100

Goo

Gui and animation lib for love2d game library.

Language:LuaNOASSERTION3500

hemeraweb

Web Interface for hemera theorem prover

Language:Ruby500

hemera

Yet another simple theorem prover

Language:Python600