Alternatives and similar repositories for langproc_2015_cw:

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

• m8pple / arch2-2016-cw
  ☆10Updated 8 years ago
• m8pple / eie1_fpga_lab
  Spring term two-week FPGA lab for EIE students
  ☆7Updated 8 years ago
• martinferianc / C90Compiler-EIE2
  C90 to MIPS I Compiler done as a coursework for EE2-15
  ☆16Updated 5 years ago
• good-data-movement / manifesto
  The Good Data Movement manifesto.
  ☆14Updated 5 years ago
• ymherklotz / verismith
  Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
  ☆103Updated 5 months ago
• dreal / dreal4
  Automated Reasoning in Nonlinear Theories of Reals
  ☆161Updated 10 months ago
• martinferianc / relax
  💤 Relaxation labelling to refine edge detection 💤
  ☆11Updated 5 years ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆62Updated 7 years ago
• phreppo / wstat
  While language static analyzer
  ☆10Updated 4 years ago
• CakeML / hardware
  Verilog development and verification project for HOL4
  ☆26Updated 5 months ago
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆429Updated 4 months ago
• clash-lang / clash-compiler
  Haskell to VHDL/Verilog/SystemVerilog compiler
  ☆1,487Updated this week
• LeventErkok / sbv
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆253Updated this week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆518Updated 2 months ago
• mCRL2org / mCRL2
  The Git repository for the mCRL2 toolset.
  ☆97Updated last week
• mit-plv / kami
  A Platform for High-Level Parametric Hardware Specification and its Modular Verification
  ☆152Updated 7 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆591Updated 5 months ago
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆142Updated 2 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• sambayless / monosat
  MonoSAT - An SMT solver for Monotonic Theories
  ☆112Updated last month
• fslaborg / flips
  Fsharp LInear Programming System
  ☆256Updated 7 months ago
• acl2 / acl2
  ACL2 System and Books as Maintained by the Community
  ☆384Updated this week
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆148Updated 6 months ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆91Updated 10 months ago
• adamwalker / clash-utils
  A collection of reusable Clash designs/examples
  ☆50Updated last year
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆370Updated 3 months ago
• rsnikhil / ICFP2020_Bluespec_Tutorial
  Tutorial on hardware design using Bluespec BH (Bluespec Classic) for Haskell programmers at ACM ICFP 2020 conference
  ☆72Updated 2 years ago
• wo / tpg
  Tree Proof Generator
  ☆166Updated last month
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 4 years ago