plumenator

Advent-of-Code-2023

busyhask

advent-of-c--2021

Advent of Code 2021 in C++

fp-course

Functional Programming Course

market-data-aggregator

.emacs.d

Advent-of-Code-2022

agda

Agda is a dependently typed programming language / interactive theorem prover.

awesome-rust-mentors

A list of rust lang mentors tagged by topics of interest

CLRS

📚 Solutions to Introduction to Algorithms Third Edition

clrs-nim

Examples and solutions to exercises from CLRS in Nim

Cracking-The-Coding-Interview-in-C-

Cracking-The-Coding-Interview-in-Python

emacs-rust-config

emacs.d files for making Emacs a Rust development environment

exercism

haskell-study-plan

An opinionated list of resources for learning Haskell

hid-examples

Examples to accompany the book "Haskell in Depth"

learn-ocaml-workshop

Exercises and projects for Jane Street's OCaml Workshop

LeetCode

💡 LeetCode in C++/Java/Python (respect coding conventions)

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

plfa-exercises

Solved exercises for https://plfa.github.io/

practical-fm

A gently curated list of companies using verification formal methods in industry

rc5_test

RC5 recruitment test

rmob

Arr! mob - a cli swiss army knife fer shippin' code together

rust

Exercism exercises in Rust.

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

tonic

A native gRPC client & server implementation with async/await support.

unison

A friendly programming language from the future