kspalaiologos

Kamila Szewczyk's starred repositories

foreign-dlopen

Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)

Language:CMIT14500

cosmopolitan

build-once run-anywhere c library

Language:CISC1765200

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Language:LeanApache-2.010100

esolangs-reverse-engineering

My solutions to RE challenges organised on the Esolangs discord

Language:Python100

Grimoire

Grimoire is a compilation of silly and interesting Python snippets I've written.

Language:PythonMIT400

dev-urandom

An assortment of random programs that serve random purposes.

Language:C++AGPL-3.0600

ack

The Amsterdam Compiler Kit

Language:CNOASSERTION41800

radiance

Building modern, elegant and fast Swing applications

Language:JavaBSD-3-Clause77700

Parser

a general purpose parser framework

Language:KotlinGPL-3.0200

cask

An alternative way to package Java applications.

Language:JavaCC0-1.0400

euler-apl

project euler solved in APL

Language:APL500

dyalog-hs

Dyalog APL Competition solved with Haskell.

Language:HaskellCC0-1.0200

recreational

My submissions for Code guessing, Code golf and other recreational programming things.

Language:C600

finalcut

A text-based widget toolkit

Language:C++LGPL-3.097700

OrangeC

OrangeC Compiler And Tool Chain

Language:C++NOASSERTION28700

nixpkgs

Nix Packages collection & NixOS

Language:NixMIT1710100

scala-native

Your favorite language gets closer to bare metal.

Language:ScalaNOASSERTION446900

modern-rzip

A backup suite. Supports FLZMA2, bzip3, LZ4, Zstandard, LSH i-node ordering deduplicating archiver, long range deduplication, encryption and recovery records

Language:CGPL-2.01500