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
  ☆8Updated 8 years ago
• good-data-movement / manifesto
  The Good Data Movement manifesto.
  ☆14Updated 5 years ago
• martinferianc / C90Compiler-EIE2
  C90 to MIPS I Compiler done as a coursework for EE2-15
  ☆16Updated 5 years ago
• martinferianc / relax
  💤 Relaxation labelling to refine edge detection 💤
  ☆11Updated 5 years ago
• clash-lang / clash-compiler
  Haskell to VHDL/Verilog/SystemVerilog compiler
  ☆1,510Updated last week
• ymherklotz / verismith
  Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
  ☆106Updated last month
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆434Updated 2 months ago
• ChrisJefferson / stacscheck
  St Andrews Computer Science Checker
  ☆20Updated 3 months ago
• jgreene / FSharp.Javascript
  A project to convert F# quotations to javascript
  ☆27Updated 13 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆677Updated 2 months ago
• Copilot-Language / copilot
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆743Updated last week
• fsharp / fslang-suggestions
  The place to make suggestions, discuss and vote on F# language and core library features
  ☆362Updated 4 months ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆788Updated 2 weeks ago
• vmware-archive / cascade
  A Just-In-Time Compiler for Verilog from VMware Research
  ☆445Updated 3 years ago
• berkeley-abc / abc
  ABC: System for Sequential Logic Synthesis and Formal Verification
  ☆1,001Updated last week
• fsprojects / FSharpPlus
  Extensions for F#
  ☆886Updated last week
• Hopac / Hopac
  http://hopac.github.io/Hopac/Hopac.html
  ☆528Updated 3 years ago
• fsprojects / fsharp-companies
  Community curated list of companies that use F#
  ☆398Updated last year
• fsprojects / FSharpx.Extras
  Functional programming and other utilities from the original "fsharpx" project
  ☆695Updated 4 months ago
• cjdrake / pyeda
  Python EDA
  ☆328Updated 5 months ago
• fslaborg / flips
  Fsharp LInear Programming System
  ☆257Updated this week
• KastnerRG / pp4fpgas
  Parallel Programming for FPGAs -- An open-source high-level synthesis book
  ☆838Updated 5 months ago
• demystifyfp / FsToolkit.ErrorHandling
  An opinionated F# Library for error handling
  ☆508Updated 3 weeks ago
• fsharp / fslang-design
  RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
  ☆536Updated last week
• emina / rosette
  The Rosette solver-aided host language, sample solver-aided DSLs, and demos
  ☆661Updated last week
• matfyz / statnice
  Texty ke statnicim
  ☆15Updated 8 years ago
• fsprojects / FSharp.Data
  F# Data: Library for Data Access
  ☆842Updated this week
• PyHDI / Pyverilog
  Python-based Hardware Design Processing Toolkit for Verilog HDL
  ☆721Updated last year
• xyncro / aether
  Optics for F#
  ☆179Updated 3 years ago