Name: Maja Kądziołka
Type: User
Bio: Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.
Location: Probably near my computer
Blog: https://compilercrim.es
1234-golf
[forked repo, look at upstream]
2018submissions
2048-gb
a gameboy (and SMS) port of 2048
2klinux
Experiments in bootstrapping from bare-metal
advisory-db
Security advisory database for Rust crates published through crates.io
amiga-includes
The assembler include files for the Commodore Amiga.
aoc2020
My solutions to 2020's advent of code
aoc2021
Solutions for the 2021 Advent of Code
aoc2022
Solutions for the 2022 Advent of Code
aoc2023
Solutions for the 2023 Advent of Code
awesome-emulators
A curated list of awesome open source emulators.
bbchallenge
Frontend of https://bbchallenge.org
bbchallenge-proofs
Mathematical proofs of the bbchallenge project.
befunge-97-mtfi
https://web.archive.org/web/20040221222300/http://www.mines.edu:80/students/b/bolmstea/mtfi/
binaryninja-api
Public API, examples, documentation and issues for Binary Ninja
bmpbot
A Slack bot used to convert all BMP images to an usable format - PNG. Necessary because some software (I'm looking at you, beware) cannot save files in formats other than BMP.
bootos
bootOS is a monolithic operating system in 512 bytes of x86 machine code.
bot.io
The Input-Output Bot
busycoq
Busy Beaver deciders backed by Coq proof
cairo-svgpath
Draw on cairo surfaces using SVG path syntax, with compile-time parsing and conversion.
cargo-spellcheck
Checks all your documentation for spelling and grammar mistakes with hunspell and a nlprule based checker for grammar
clippy_mvce
A MVCE for a weird behavior in clippy
commitment
A commit message generator that I use.
compilercrim.es
cpplambdas
cryptopals
Solutions to the Matasano Crypto Challenges
curl
A command line tool and library for transferring data with URL syntax, supporting HTTP, HTTPS, FTP, FTPS, GOPHER, TFTP, SCP, SFTP, SMB, TELNET, DICT, LDAP, LDAPS, FILE, IMAP, SMTP, POP3, RTSP and RTMP. libcurl offers a myriad of powerful features
cursedfs
Make a disk image formatted with both ext2 and FAT at once
debugging-stories
A collection of debugging stories. PRs welcome (sorry for the backlog) :-)
dotfiles.pub
Configuration for various stuff
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
