Alternatives and similar repositories for concrete-semantics-Sols

Users that are interested in concrete-semantics-Sols are comparing it to the libraries listed below

• kolya-vasiliev / concrete-semantics

  View on GitHub
  My solutions to exercises in "Concrete Semantics" (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
  ☆25Jun 17, 2015Updated 10 years ago
• odoe / leaflet-electron

  View on GitHub
  Sample Leaflet app with Electron
  ☆11May 25, 2015Updated 10 years ago
• Minishlink / MLlib

  View on GitHub
  [2009] Code apps and games easily on Nintendo Wii !
  ☆12Jan 5, 2018Updated 8 years ago
• andriusvelykis / isabelle-scala

  View on GitHub
  A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…
  ☆15Jul 10, 2014Updated 11 years ago
• riscv-non-isa / riscv-ras-eri

  View on GitHub
  The RAS Error-record Register Interface provides a specification to augment RAS features in RISC-V SOC hardware to standardize reporting …
  ☆10Feb 6, 2026Updated last week
• schuay / advanced_multiprocessor_programming

  View on GitHub
  VU Advanced Multiprocessor Programming, TU Wien, SS 2013
  ☆39Jul 8, 2013Updated 12 years ago
• orca-lang / orca

  View on GitHub
  Type theory + whales and syntax
  ☆11Nov 28, 2019Updated 6 years ago
• aposwolsky / delphin

  View on GitHub
  The Delphin Project
  ☆10Aug 19, 2016Updated 9 years ago
• MINI-IO / IO-project-game

  View on GitHub
  Alicja Moskal, Bartosz Chrostowski, Emil Dragańczuk, Jakub Drak Sbahi, Mikołaj Molenda
  ☆12Apr 17, 2020Updated 5 years ago
• pauls658 / ReluDiff-ICSE2020-Artifact

  View on GitHub
  Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"
  ☆11Feb 1, 2022Updated 4 years ago
• diku-dk / dpp-e2022-pub

  View on GitHub
  Data Parallel Programming, the 2022 edition
  ☆12Jan 18, 2024Updated 2 years ago
• sohardforaname / SimpleRustLuaJIT

  View on GitHub
  A simple lua jit implemented in Rust for HUST-Complier principle course.
  ☆12May 19, 2021Updated 4 years ago
• andreasabel / haskell-style-guide

  View on GitHub
  A style guide for Haskell code.
  ☆14May 26, 2025Updated 8 months ago
• pSpaces / dotSpace

  View on GitHub
  Programming with Spaces in .NET
  ☆10Jan 5, 2023Updated 3 years ago
• Gerald-Gui / UCAS-Physics-Fundamental-Experiments-Report

  View on GitHub
  UCAS基础物理实验课程实验报告，仅供参考
  ☆13May 19, 2021Updated 4 years ago
• mitre / callisto

  View on GitHub
  ☆16Feb 5, 2014Updated 12 years ago
• jameszampa / ECE-570-Implementation

  View on GitHub
  Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference
  ☆12Feb 5, 2020Updated 6 years ago
• farique1 / MSX-Basic-Tokenizer

  View on GitHub
  ⛔️ DEPRECATED <Current version at https://github.com/farique1/basic-dignified>
  ☆13Feb 14, 2023Updated 3 years ago
• leedavid / CCStockFish

  View on GitHub
  (中国鱼) Chinese Chess with NNUE fork from stockfish and pikafish
  ☆16Nov 26, 2022Updated 3 years ago
• Lameguy64 / mtek-gdl

  View on GitHub
  Game Development Library for the Nintendo Wii
  ☆12Jun 27, 2016Updated 9 years ago
• Bike / sandalphon.types

  View on GitHub
  naïve set arithmetic + CL types reification
  ☆13Jan 14, 2017Updated 9 years ago
• acharal / wam

  View on GitHub
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Apr 2, 2020Updated 5 years ago
• dfpena / NodeLibrary

  View on GitHub
  The default Node Library for StremeCoder
  ☆11Mar 9, 2022Updated 3 years ago
• nlamirault / climc

  View on GitHub
  A Common Lisp Instant Messaging Client.
  ☆12Nov 17, 2022Updated 3 years ago
• ruricolist / cl-murmurhash

  View on GitHub
  The 32-bit version of Murmurhash3 for Common Lisp.
  ☆17Jun 4, 2021Updated 4 years ago
• zillou / zh-cn.djangobook.com

  View on GitHub
  最新中文版Django book
  ☆16Apr 29, 2016Updated 9 years ago
• woohgit / aws-security-group-auditor

  View on GitHub
  AWS EC2 Security Group Auditor Tool
  ☆16Nov 21, 2017Updated 8 years ago
• mschuldt / bart-mode

  View on GitHub
  Display real time BART departures in Emacs!
  ☆15Jun 1, 2019Updated 6 years ago
• apoloval / mcp

  View on GitHub
  A command line interface (CLI) tool to pack/unpack MSX CAS files
  ☆11Mar 15, 2023Updated 2 years ago
• Ferada / cl-mock

  View on GitHub
  Mocking functions. Please get in touch to discuss features! Only regular functions available for now.
  ☆18Jul 21, 2022Updated 3 years ago
• knusbaum / clim-gopher

  View on GitHub
  A gopher browser written in Common Lisp, using the McCLIM UI library.
  ☆14Nov 6, 2018Updated 7 years ago
• erantapaa / haskell-regexp-examples

  View on GitHub
  Examples of how to use regular expressions in Haskell.
  ☆14Oct 16, 2015Updated 10 years ago
• DrSnuggles / AYSir

  View on GitHub
  Modern ES6 javascript class module worker worklet for AY-3-8910 and YM2149 emulation. With different backends AYUMI and Demozoo as start …
  ☆14Mar 26, 2024Updated last year
• wzab / BR_Internet_Radio

  View on GitHub
  Simple Internet radio built using mpd/mpc and Flask with Buildroot
  ☆16Apr 14, 2024Updated last year
• MartinezTorres / sdcc_msx

  View on GitHub
  framework for mixed msx/linux development
  ☆15Jul 25, 2021Updated 4 years ago
• yogurt-shadow / Berkeley-cs61b

  View on GitHub
  Learning experience for CS61B (data structure and algorithm). Study hard and have fun!
  ☆12Nov 11, 2021Updated 4 years ago
• guicho271828 / type-r

  View on GitHub
  The complete collection of accessor functions and patterns to access the elements in a compound type specifier
  ☆13Dec 3, 2019Updated 6 years ago
• dungeons-of-moria / vms-moria

  View on GitHub
  Moria - VMS Pascal source code
  ☆14Aug 14, 2017Updated 8 years ago
• volo-rs / grpc-proxy

  View on GitHub
  ☆16Apr 3, 2025Updated 10 months ago