greati/tao greati/tao

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

greati

Reviews

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

Repository Details

Mathematical library written in modern C++

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

skew_heaps

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

programming_challenges

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

raster

A simple 2D raster
C++
1
star
13

workersx9

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

pres-android

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

logicantsy

Prototypical library and CLI assistant for research in logic.
C++
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