offbeatcc / cses

Related projects ⓘ

Alternatives and complementary repositories for cses

• susam / lab
  Random experiments, exploration, and learning
  ☆81Updated this week
• rcarmo / miniredis
  A very tiny clone of Redis for experimenting with PubSub
  ☆52Updated 7 months ago
• paulcavallaro / systems-programming
  Examples of common systems programming optimizations
  ☆50Updated 3 years ago
• yewalenikhil65 / Resources-for-engineering-students-who-like-mathematics
  This is a collection of resources that I feel will prove useful to anyone studying in the area of engineering but also like mathematics. …
  ☆78Updated 2 years ago
• PhilipK / articles
  A collection of my articles and blog posts
  ☆60Updated 2 years ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆157Updated 3 years ago
• kidd / scripting-field-guide
  A booklet on mid-advanced scripting techniques
  ☆52Updated 5 months ago
• codr7 / alang
  A minimal viable programming language on top of liblgpp
  ☆77Updated 3 years ago
• Dicklesworthstone / bakery_algorithm
  Lamport's Bakery Algorithm Demonstrated in Python
  ☆95Updated 9 months ago
• ntietz / awol
  ☆21Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated 9 months ago
• eras / tlsd
  Generate (message) sequence diagrams from TLA+ state traces
  ☆72Updated last year
• wildarch / jepsen.rqlite
  ☆58Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 7 months ago
• Keith-Cancel / k-hash
  A simple single header 64 and 32 bit hash function using only add, sub, ror, and xor.
  ☆77Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 6 months ago
• TCGV / ConsensusKit
  Implementation of popular consensus protocols
  ☆22Updated 4 years ago
• linkdd / logfmtxx
  Header only C++23 structured logging library using logfmt
  ☆71Updated 7 months ago
• spc476 / mod_blog
  A blogging engine in C
  ☆110Updated last month
• BenJoyenConseil / rmi
  A learned index structure
  ☆52Updated 3 years ago
• lemire / docker_programming_station
  A simple script to help programmers who want to work within Docker
  ☆150Updated 2 months ago
• skullchap / neverflow
  Set of macros that guard against buffer overflows. Based on C99 VLA feature.
  ☆127Updated last year
• dmytrobaida / recursion-viewer
  Website and VS Code extension for visualizing recursive functions. Helps to debug and understand how your recursive algorithm works
  ☆35Updated 8 months ago
• AzisK / readsql
  Convert SQL to most human readable format
  ☆56Updated 3 years ago
• PacktPublishing / Linux-for-Networking-Professionals
  Linux for Networking Professionals, published by Packt
  ☆219Updated last year
• DataDaoDe / Ongoing-Challenges-in-Computer-Science
  Lists of ongoing challenges in fields of or closely related to computer science
  ☆36Updated last year
• ankicommunity / ankidown
  Easily make Anki flash cards in markdown
  ☆12Updated 5 years ago
• malikpiara / logicola
  LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
  ☆44Updated this week
• juanpagfe / cash
  Foreign exchange converter
  ☆9Updated 4 years ago
• jborza / jborza.github.io
  My blog
  ☆25Updated 3 months ago