Tobias Boege (@taboege)
github

taboege

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 972,962 (Top 34 %)
  • Followers 15
  • Registered almost 7 years ago
  • Most used languages
    Perl
         37.5 %
    Perl 6     25.0 %
    Raku     12.5 %
    C
         12.5 %
    C++
         12.5 %
  • Location <UNKNOWN>
  • Country Total Rank 425,909

Top repositories

1

raku-OEIS

Look up sequences on the On-Line Encyclopedia of Integer Sequences®
Perl 6
2
star
2

bc_minisat_all

Git mirror of Takahisa Toda's bc_minisat_all AllSAT solver
C
1
star
3

small-pdf

Reduce the size of tablet-written (vectorized) lecture notes PDFs
Perl
1
star
4

libpropcalc

All-in-one, FFIable propositional calculus package
C++
1
star
5

gb.deg.unittest

Gambas Unittest
1
star
6

raku-Propositional

Propositional calculus module for Raku
Perl 6
1
star
7

CI-models-from-graphs

Perl
1
star
8

simecek-tools

Tools for reading Petr Šimeček's files on representability of CI structures on 4 random variables
Perl
1
star
9

App-Muletracks

Downloader for Gov't Mule live recordings (erstwhile sold via "Muletracks")
Raku
1
star