Skip to content
View Florian3k's full-sized avatar
🎩
doing things
🎩
doing things

Block or report Florian3k

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A final project for Machine Learning at University of Wrocław

Jupyter Notebook 2 Updated Jun 5, 2024

An experimental programming language that combines effect handlers and implicit parameters

OCaml 26 17 Updated Feb 9, 2025

Lecture notes for the Type Systems course given in Autumn 2023

TeX 11 9 Updated Mar 26, 2024

📜 Haskell course info, plan, video lectures, slides

Haskell 1,343 57 Updated Jul 9, 2023

Formally verified algorithms in Coq: concepts and techniques

Coq 2 1 Updated Mar 19, 2023

A collaborative bibliography of work related to the theory and practice of computational effects

997 86 Updated Jan 27, 2025

RISC-V out-of-order core for education and research purposes

Python 41 16 Updated Feb 19, 2025

FP category theory jargon explained on a single A4 page

62 5 Updated Jul 30, 2018

A fully featured React components library

TypeScript 27,807 1,959 Updated Feb 17, 2025

Typesafe wrapper for Apache Spark DataFrame API

Scala 140 9 Updated Oct 23, 2024

🧱 Compiler frontend for developing great programming languages

Rust 26 2 Updated Jan 21, 2025

Parser combinator library written in Ocaml

OCaml 3 Updated Feb 14, 2022

The Scala 3 compiler, also known as Dotty.

Scala 5,945 1,080 Updated Feb 19, 2025

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Scala 14,359 3,116 Updated Feb 17, 2025

Create graphs from your CommonJS, AMD or ES6 module dependencies

JavaScript 9,262 327 Updated Sep 12, 2024

⚡️ The Missing Fullstack Toolkit for Next.js

TypeScript 13,830 807 Updated Feb 14, 2025

TypeScript-first schema validation with static type inference

TypeScript 35,650 1,265 Updated Feb 16, 2025

A React-based UI toolkit for the web

TypeScript 20,890 2,184 Updated Feb 19, 2025

Simple, open source, lightweight (< 1 KB) and privacy-friendly web analytics alternative to Google Analytics.

Elixir 21,509 1,141 Updated Feb 19, 2025

Hey wes what settings do you use?

JavaScript 1,297 280 Updated Dec 4, 2023

A cat(1) clone with wings.

Rust 51,176 1,282 Updated Feb 15, 2025

My config dotfiles

Shell 19 2 Updated May 10, 2019

My configuration files

Shell 11 Updated Jan 23, 2019

A web framework for Rust.

Rust 24,916 1,588 Updated Dec 2, 2024

Cap'n Proto serialization/RPC system - core tools and C++ library

C++ 11,953 937 Updated Feb 19, 2025

A modern replacement for ‘ls’.

Rust 23,773 661 Updated Sep 24, 2024

git flavored zsh

534 45 Updated Oct 16, 2020

KotlinConf Schedule Application

Kotlin 3,055 329 Updated Feb 19, 2025

Master programming by recreating your favorite technologies from scratch.

Markdown 337,107 31,179 Updated Sep 3, 2024
Next
Showing results