Discover @cronokirby Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

Swift

Shell

Zig

Elixir

Rust

C#

CoffeeScript

Go

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Crystal

Swift

Erlang

Nix

MATLAB

Python

Kotlin

Dart

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇬🇭 Ghana

🇱🇻 Latvia

🇲🇽 Mexico

🇸🇱 Sierra Leone

🇦🇬 Antigua and Barbuda

🇬🇵 Guadeloupe

🇿🇲 Zambia

🇵🇼 Palau

All Countries Compare Countries

Lúcás Meier (@cronokirby)

cronokirby

Stars
875
Global Rank 34,840 (Top 2 %)
Followers 398
Following 3
Registered about 8 years ago
Most used languages

Rust
43.9 %

Haskell
12.2 %

TypeScript
11.0 %

Elixir
9.8 %

Go
7.3 %

TeX
3.7 %

C
2.4 %

JavaScript
2.4 %

C++
2.4 %

HTML
1.2 %

Jupyter Notebook
1.2 %

Scala
1.2 %

Python
1.2 %
Location 🇺🇸 United States
Country Total Rank 434
Country Ranking

Haskell
110

Elixir
141

Rust
484

TeX
1,805

Scala
1,814

Go
2,039

TypeScript
6,628

alchemy

A discord library for Elixir

haskell-in-haskell

Trying to write an understandable implementation of Haskell, in Haskell

haze

A bittorrent client, for learning purposes

saferith

Constant time big numbers for Go

cait-sith

Threshold ECDSA via Triples

seed-split

Splitting seed phrases into shares

boo-hoo

An implementation of ZKBoo

yao-gc

A basic implementation of Yao's Garbled Circuits

ludus

A pluggable NES emulator

multiset-hash

A small crate for hashing multi sets

magikitten

Easy Fiat-Shamirization using Meow

meow

deevee

Designatived verifier Schnorr signatures

poline

Tiny language with green threads

persistent-ts

Persistent data structures for Typescript

nimotsu

Rolling some crypto for PGP-esque public key message sending

kyokusen

Elliptic Curves for Cryptography

viviani

cauchy

A hardware accelerated complex function plotter

bittrickle

UDP bittorrent tracker

Rem-Boo

Fast ZK proofs over boolean circuits with RAM

ginkou

Japanese sentence bank program. Add and find sentences for language learning.

nuntius

Having fun making an E2E messaging app

serve-csv

Create a web API from static csv files

raymarch

populate

Populate a music library based on a descriptive file

hax

A bullet hell game in haskell

arbor

A rusty replacement for the `tree` command

nicer-mecab

Japanese morphological analysis. Wrapper over mecab.

polka

A C compiler, using the most advanced version of Scala

eddo

Playing around with Ed25519 signatures

Advent-2018

ovis

Simple functional programming language

chika

A low level procedural language, compiling to assembly

iku

WIP programming language

typhoon

A decent bittorrent library and program

advent

Advent of code solutions

ludus-emu

An NES emulator using the ludus crate

haisou-chan

A library for simulating network delays

modular-protocol-security-paper

peerbin

Peer based code sharing site

strix

alchaline

delay-coin

Playing around with a cryptocurrency based on verifiable delay functions.

Kirbot-1.5

A simple discord bot, written in python

dex

Pokedex viewing app

talks

sally

Learning how to make a basic shell in C

mpc-for-group-reconstruction-circuits

butterfly-test

Testing an algorithm for creating routing networks from permutations

Jupyter Notebook

big-boo

Experimenting with fast symmetric ZK proofs of knowledge

katex-playground

Play around with katex in your browser!

toy-stark

A toy implementation of the STARK protocol

wordle

Playing around with the infamous word game hit of 2022

mariner

An experiment in ZK circuit DSLs

omocha

A toy blockchain

solopong

A simple pong game

lambdabot

chess

conway

Playing around with Conway's game of life

alg-intro-exercises

ripple

Decentralised IRC-like service

huffman-rs

An implementation of Huffman coding

ludus-web

Seeing if I can get my NES emulator to work through WASM

micro-ecs

A small ecs framework for TypeScript

CSES

Solutions to https://cses.fi/problemset/

musync

Configuration based music syncing

srhub

aldash

on-security-against-time-traveling-adversaries

bridger

kirbot

hirch

web-craft

WebGL voxel game

reg-viz

Visualizing Regular Expressions

disco-old

advent-2022

scroll

Little dungeon crawler

parcel-ts-react-demo

An example of using Typescript & React with Parcel

wahlbergdown

Silly language for the https://github.com/langjam/jam0001

cici

A self-hosting C compiler

ck-dodo

Double odd curve(s)