Radek Miček (@radekm)
github

radekm

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 8
  • Registered almost 14 years ago
  • Most used languages
    F#
         33.3 %
    Zig
         16.7 %
    OCaml
         16.7 %
    C
         16.7 %
    C++
         16.7 %
  • Location πŸ‡¨πŸ‡Ώ Czechia
  • Country Total Rank 3,281
  • Country Ranking
    Zig
         2
    OCaml
         6
    F#
         22
    C++
         655
    C
         679

Top repositories

1

ocaml-tptp

Library for reading and writing FOF and CNF formulas in TPTP format
OCaml
5
star
2

egui-zig

egui converted to Zig
Zig
5
star
3

crossbow

Finite model finder
C++
2
star
4

nim_libdeflate_gzip

C
1
star
5

DirSum

Creates, analyzes and compares directory checksums.
F#
1
star
6

timesheet

Generate timesheet from activities on GitLab
F#
1
star