greati/logicantsy greati/logicantsy

  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created about 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
greati/logicantsy
github

greati

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Prototypical library and CLI assistant for research in logic.

More Repositories

1

processor_risc

A simple processor implemented in SystemC
TeX
18
star
2

gryph

A programming language for easy graph manipulation.
Haskell
9
star
3

mini-java-compiler

A compiler for the Mini-Java language
C
6
star
4

omg

Open Machinery for Graphics: computer graphics library and utilities
C++
5
star
5

licitatorium

Fiscalização cidadã das licitações do Governo Federal.
Python
3
star
6

timewarrior-polybar

A polybar plugin to track timewarrior state
Python
3
star
7

minicourse-intro-data-science

Introduction to Data Science for the industry
Jupyter Notebook
2
star
8

hilbert-classical-fragments

Proofs in Lean of the axiomatizability of all classical logic fragments.
Lean
2
star
9

god4labs

Management system for Chemistry laboratories using Java/Swing
Java
1
star
10

tao

Mathematical library written in modern C++
C++
1
star
11

skew_heaps

Implementation of top-down and bottom-up skew heaps in Haskell.
Haskell
1
star
12

programming_challenges

Solution for the problems found in the book "Programming Challenges - Skiena and Revilla" + Online Judges
C++
1
star
13

raster

A simple 2D raster
C++
1
star
14

workersx9

Sistema para gerenciamento de entrada e saída de trabalhadores em empresas utilizando QR Code e o framework IOx9.
Java
1
star
15

pres-android

Android application for improving audience-presenter interaction.
Java
1
star
16

covertype-data-analysis

Data analysis over the Covertype dataset.
Jupyter Notebook
1
star
17

rp3-android-things-camera-apps

A set of apps for working with camera on Android Things running in a Raspberry Pi 3.
Java
1
star