exercises for Structure and interpretation of computer program
☆30Feb 15, 2013Updated 13 years ago
Alternatives and similar repositories for sicp_exercise
Users that are interested in sicp_exercise are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- x86 JIT playground for documenting and exploring microarchitectural implementation details☆44Jun 11, 2026Updated 4 months ago
- GPI-Space: Memory Driven Computing and Big Data☆10Mar 17, 2026Updated 7 months ago
- Adds color to your Wolfram Language outputs in an ANSI capable terminal☆10Sep 19, 2019Updated 7 years ago
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 13 years ago
- 🐦⬛ Atmospheric colorscheme for terminals and editors☆13Apr 27, 2026Updated 6 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A discrete color theme - based on Intellij's default dark theme - with support for transparency, dimming, LSP, treesitter and other plugi…☆12Feb 1, 2026Updated 9 months ago
- A serene snowy mountain sunset theme for Neovim.☆10Aug 4, 2025Updated last year
- Simulation Architectures for Reinforcement Learning applied to Robotics☆13Sep 4, 2024Updated 2 years ago
- React Port to C Language using c2wasm and ecmescripten☆17Oct 8, 2025Updated last year
- Neovim theme loosely based on the jellybeans theme. Exclusively written in lua☆10Jun 18, 2026Updated 4 months ago
- Shareable templates and one-command startup for Docker Sandboxes (sbx)☆14Apr 10, 2026Updated 6 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- PolyLib official git.☆15Sep 23, 2026Updated last month
- Sandboxed Claude Code environment for HPC (especially NERSC Perlmutter) and local Docker☆20May 8, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Artificial intelligence with a network of connected neurons☆21Updated this week
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆11Nov 1, 2023Updated 3 years ago
- A color scheme inspired by Plan9's acme editor, but with a personal touch.☆17May 5, 2026Updated 5 months ago
- A C++ library to perform rational function interpolation over finite fields with a rational number reconstruction to promote the coeffici…☆11May 26, 2025Updated last year
- zig actor runtime☆18Apr 25, 2026Updated 6 months ago
- Object-oriented one-loop scalar Feynman integrals framework☆13Dec 20, 2024Updated last year
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- TinyC compiler (lexer + parser + IR + optimization + x86-64 assembly generation)☆20Aug 9, 2020Updated 6 years ago
- WIMpy_NREFT is a code for calculating Dark Matter direct detection rates in the framework of non-relativistic effective field theory (NRE…☆13Oct 30, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A reusable compiler backend for the i386, x86_64, ARM and AArch64 architecture based on TCC, with an IR on bytecode level including type …☆21Mar 10, 2024Updated 2 years ago
- 🍄🟫 A Gruvbox Material theme conceptually inspired by Alabaster.☆17Sep 4, 2026Updated last month
- Scripts I use with ledger☆10Aug 22, 2011Updated 15 years ago
- QEMU mirror with Cortex-Mx additions☆11Apr 18, 2015Updated 11 years ago
- VKCapture with KMSGrab included☆12Sep 9, 2024Updated 2 years ago
- a programming language with composable refinements and inverse functions inference☆12Sep 4, 2026Updated last month
- SModelS☆16Updated this week
- An assortment of graphics utilities☆13Jul 22, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A LaTeX package to draw Feynman diagrams using TikZ☆18Jan 8, 2026Updated 9 months ago
- A collection of useful GDB command extensions written using the GDB python API☆10Feb 15, 2018Updated 8 years ago
- Collection of my personal shell scripts☆12Oct 21, 2026Updated last week
- A curated list of Lean 4 libraries, tools, frameworks and learning resources for programmers☆14Oct 21, 2026Updated last week
- Amplitude library: gluing all the tools needed for computing multi-loop amplitudes in QCD and beyond☆20Feb 3, 2026Updated 8 months ago
- Sokoban implementation in lean for proving solvability / unsolvability☆14Apr 21, 2021Updated 5 years ago
- FeynOnium is a FeynCalc add-on that facilitates calculations in Nonrelativistic QCD (NRQCD) and potential Nonrelativistic QCD (pNRQCD)☆16Jan 9, 2023Updated 3 years ago