Alternatives and similar repositories for eacirc:

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

• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆43Updated 9 years ago
• GaloisInc / llvm-verifier
  The LLVM Symbolic Simulator, part of SAW.
  ☆21Updated 4 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 6 years ago
• agl / nullok
  Scripts that I used to write a blog post about section 7.24.1(2) of C11
  ☆11Updated 8 years ago
• edgarcosta / endomorphisms
  Rigorous computation of the endomorphism ring of a Jacobian
  ☆10Updated 4 months ago
• gravity-postquantum / prune-horst
  Signature scheme submitted to NIST's Post-Quantum Cryptography Project
  ☆28Updated 7 years ago
• IAIK / flecc_in_c
  FLECC_IN_C is a FLexible Elliptic Curve Cryptography library written IN C
  ☆18Updated 7 years ago
• GaloisInc / nasa-affirm
  Architectural Framework For Integrated Refinement Modeling
  ☆11Updated 7 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆12Updated 5 years ago
• nushio3 / physics-inhaskell
  Knowledge of classical mechanics, written in haskell.
  ☆14Updated 11 years ago
• pgoodman / cparser
  Sort-of GNU C99 Declaration Parser
  ☆11Updated 5 years ago
• NVIDIA / Forma
  DSL for stencils and image processing
  ☆13Updated 8 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• KWillets / range_generator
  Some variations on Lemire's Fast Random Integer Generation in an Interval
  ☆15Updated 5 years ago
• stribika / dakarand
  Dan Kaminsky's clock drift entropy generator
  ☆6Updated 10 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 7 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• sagemath / sagelib
  Git mirror of http://hg.sagemath.org/sage-main/
  ☆38Updated 12 years ago
• GaloisInc / blt
  Lattice-based integer linear programming solver
  ☆65Updated 3 years ago
• git-afsantos / bonsai
  Simplified interface for syntax trees and program models.
  ☆16Updated 2 years ago
• aczid / ru_crypto_engineering
  Assignments for the cryptography engineering course
  ☆12Updated 11 years ago
• vegard / sha1-sat
  SAT instance generator for SHA-1
  ☆47Updated 3 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• sdiehl / galois-fft
  Finite field polynomial arithmetic based on fast Fourier transforms
  ☆19Updated 4 years ago
• fpco / haskell-filesystem
  Contains the system-filepath and system-fileio packages
  ☆9Updated last month
• DistributedComponents / verdi-chord
  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework
  ☆10Updated 5 years ago
• uchicago-cs / plrg
  PL Reading Group Website
  ☆14Updated last month
• john-tornblom / llvm-p86
  A compiler and mutation testing framework for the programming language Pascal-86
  ☆18Updated 10 years ago