@dasuxullebt
github

dasuxullebt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 603,566 (Top 21 %)
  • Followers 20
  • Following 6
  • Registered over 15 years ago
  • Most used languages
    Common Lisp
         25.0 %
    Coq     25.0 %
    C
         25.0 %
    C++
         12.5 %
    JavaScript
         12.5 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 23,764
  • Country Ranking
    Coq     19
    Common Lisp
         47
    C
         3,400
    C++
         9,190

Top repositories

1

uxul-world

Simple Jump And Run written in Common Lisp
Common Lisp
8
star
2

DampFnudeL

Deflate in Coq
Coq
3
star
3

7-chloro-4-nitrobenzofurazan

An NBD Server Library written in Common Lisp
3
star
4

hrtf-experiments

Using the MIT-HRTF-Database (and maybe others)
C
2
star
5

tddp

Trivial Data Deduplication
C
2
star
6

Pheap.v

Implementation of a Pairing Heap in Coq
Coq
1
star
7

SirTET

An Inverse Tetris
C++
1
star
8

cl-geoip

Wrapper around libGeoIP
Common Lisp
1
star
9

rapunzel

RAPid UNlimited Zwergen Escape Levels
JavaScript
1
star