Alternatives and similar repositories for minickt:

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

• nakultirumalai / VLSIPlacement
  Code for new techniques of VLSI placement
  ☆12Updated 11 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 2 years ago
• banacorn / Hakaru-FLOLAC16
  Some materials for "The taste of probabilistic programming and modeling" by Oleg Kiselyov at FLOLAC'16
  ☆16Updated 8 years ago
• lecopzer / rtenv-plus
  Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3
  ☆11Updated 6 years ago
• shininglion / rectilinear_spanning_graph
  This library contains rectilinear spanning graph construction, finding minimum spanning tree and an implementation of binary search tree
  ☆10Updated 9 years ago
• champyen / cltk
  CLTK - OpenCL ToolKit
  ☆34Updated 3 years ago
• cccriscv / c2riscv
  從 C 語言到 RISCV 處理器
  ☆22Updated 6 years ago
• en9inerd / SimAn
  Standard cell placement (global and detailed) tool based on modified algorithm “simulated annealing”
  ☆13Updated 11 months ago
• mzshieh / cp2_2016
  Competitive Programming 2, 2016 Spring
  ☆22Updated 8 years ago
• willard1218 / Ted-subtitle-merge
  Merge Ted Subtitles (Chinese/English)
  ☆12Updated 7 years ago
• qcl / ntu-homeworks
  Homeworks
  ☆21Updated 5 years ago
• shininglion / corner_stitch
  Library of corner stitching structure
  ☆17Updated 9 years ago
• benwei / bos
  A self-made Operation System in X86, Just for Fun Learning
  ☆40Updated 5 years ago
• embedded2015 / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆38Updated 4 years ago
• msaroufim / C-compiler-optimizations
  Description of commonly done compiler optimizations in C
  ☆44Updated 2 years ago
• liffiton / PyMiniSolvers
  A Python API for the MiniSat and MiniCard constraint solvers.
  ☆20Updated last year
• abhowmick22 / atpg-PODEM
  Automatic Test Pattern Generation using PODEM algorithm
  ☆13Updated 10 years ago
• descent / write_os
  write os
  ☆22Updated 7 years ago
• mlouielu / nand2vm
  nand2vm - pure python implement of nand2tetris Hack platform
  ☆10Updated 7 years ago
• warclab / dyract
  DyRACT Open Source Repository
  ☆16Updated 8 years ago
• HardwareIR / netlistDB
  netlistDB - Intermediate format for digital hardware representation with graph database API
  ☆31Updated 4 years ago
• ucb-bar / barstools
  Useful utilities for BAR projects
  ☆31Updated last year
• embedded2015 / arm-lecture
  ARM programs to illustrate tutorials
  ☆41Updated 9 years ago
• champyen / halide-essentials
  book for Halide language programming
  ☆13Updated 3 years ago
• jserv / kvm-user-x86
  A simple userspace program to interact with Linux KVM
  ☆23Updated last year
• j-baker / l1c
  l1c is a simple formally verified compiler for a while language
  ☆55Updated 4 years ago
• jserv / full-stack-hello
  minimal instruction set and assembler/compiler for "Hello World" execution
  ☆115Updated 4 years ago
• jminh / hour_of_code_python_2015
  ☆22Updated 9 years ago
• penvirus / ZoneIDAProc
  ☆10Updated 8 years ago
• PCMan / pydrum
  ☆42Updated 8 years ago