gurugio / sicp_exercise

Related projects ⓘ

Alternatives and complementary repositories for sicp_exercise

• madmurphy / not-autotools
  A collection of awesome and self-documented m4 macros for GNU Autotools
  ☆17Updated last year
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• Foadsf / Awesome-FLOSS-CAS
  A curated list of outstanding Free, Libre, and Open Source Software (FLOSS) Computer Algebra Systems (CAS) for mathematicians, educators,…
  ☆15Updated 6 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• dubrousky / mockmma
  ☆27Updated 6 years ago
• AThilenius / logic-paint-rs
  A transistor-level logic simulator inspired by the Intel 4004 and Zachtronic's KOHCTPYKTOP, build with Rust + WASM
  ☆31Updated this week
• camel-cdr / boline
  A low level preprocessor meta programming library.
  ☆26Updated last year
• reduce-algebra / reduce-algebra
  reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…
  ☆36Updated this week
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 7 months 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…
  ☆26Updated last year
• drom / awesome-tree-sitter
  Curated list of awesome tree-sitter language grammars, bindings, tools, libraries
  ☆43Updated 3 years ago
• lennart-finke / simuwaerm
  A simple heat simulation in pure Rust.
  ☆28Updated 4 months ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated 10 months ago
• HigherOrderCO / HOP
  Lightweight, higher-order parser in Rust.
  ☆11Updated last year
• janicicpredrag / gclc
  GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…
  ☆55Updated last month
• model-checking / kani-vscode-extension
  Kani VSCode Extension
  ☆15Updated 11 months ago
• leissa / whilec
  An interpreter/compiler for a toy language called While. The implementation is in Python.
  ☆19Updated last year
• bluewww / ddd
  GNU DDD is a graphical front-end for command-line debuggers such as GDB, DBX, WDB, Ladebug, JDB, XDB, the Perl debugger, the bash debugge…
  ☆8Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆27Updated 3 weeks ago
• dEAduction / dEAduction
  Source for the d∃∀duction project.
  ☆19Updated last month
• ascherer / cwebbin
  Literate Programming in C/C++
  ☆28Updated this week
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆16Updated last year
• rfindler / modern-macros-talk
  ☆14Updated last year
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• SkwalExe / learn-rust
  Free Rust 🦀 course in English 🇬🇧
  ☆18Updated 2 years ago
• codereport / plgraph
  ☆19Updated 11 months ago
• tsoding / ada-gol
  Simple Game of Life implementation in Ada.
  ☆22Updated 3 years ago
• Fahien / exc
  Solutions to exercises and projects of K. N. King's textbook C Programming: A Modern Approach, 2nd Edition
  ☆19Updated 5 years ago
• a-p-jo / allocator
  Customisable, thread-safe C11 memory allocator based off the K&R "storage allocator"
  ☆12Updated 4 months ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆22Updated last year