Alternatives and similar repositories for sicp_exercise:

Users that are interested in sicp_exercise are comparing it to the libraries listed below

• Fahien / exc
  Solutions to exercises and projects of K. N. King's textbook C Programming: A Modern Approach, 2nd Edition
  ☆19Updated 5 years ago
• Maijin / awesome-asm
  A curated list of awesome Assembler
  ☆67Updated 10 years ago
• bothvar / programming_books
  A curated list of *genuinely good* programming books
  ☆76Updated 2 years ago
• eliben / c-unleashed-book-souce-code
  Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.
  ☆69Updated 3 years ago
• cbourke / ComputerScienceIII
  ☆20Updated last year
• TotallyNotChase / typeclass-interface-pattern
  Ideas, thoughts, and notes on a typeclass/interface based polymorphism pattern for standard C
  ☆44Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆25Updated 3 weeks ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆12Updated 8 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• JamieSandell / C
  ☆17Updated 3 years ago
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆20Updated this week
• Wilfred / garden
  an interactive programming language
  ☆35Updated this week
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• tsoding / ImHTTP
  Immediate Mode HTTP Client Library.
  ☆21Updated 3 years ago
• hygoni / awesome-linux-kernel
  Useful resources for learning kernel
  ☆17Updated 3 years ago
• kspalaiologos / C-Learning-Resources
  Resources for learning C that are the best in my opinion.
  ☆126Updated 2 years ago
• mrmcsoftware / CPUsimulator
  This is an HTML/Javascript CPU simulator and assembler for the CPU I designed. Originally, I created this CPU on paper many years ago for…
  ☆28Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆11Updated this week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 9 months ago
• codereport / jellyfish
  A fork of Jelly (recreational programming language inspired by J) that fixes bugs I have run into and extends the language.
  ☆13Updated 7 months ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆15Updated 9 months ago
• YJDoc2 / pcb-rs-examples
  Repository containing examples of usage of pcb-rs
  ☆10Updated 2 years ago
• tchajed / rdb
  Debugger written in Rust
  ☆18Updated 2 years ago
• b-mehta / exponential-ramsey
  ☆13Updated last year
• cheng-alvin / jas
  A fast and minimal ELF x64 assembler library built for integrating into compilers, operating systems and JIT interpreters
  ☆45Updated this week
• henry-hsieh / riscv-asm-vim
  Advanced RISC-V assembly syntax highlight for Vim and Neovim.
  ☆12Updated 5 months ago
• szabgab / rust-digger
  ☆19Updated 3 months ago
• just-buildsystem / bootstrappable-toolchain
  Collection of toolchains built from source
  ☆16Updated last month