niswegmann/copilot-cbmc niswegmann/copilot-cbmc

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Other
  • Created over 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
niswegmann/copilot-cbmc
github

niswegmann

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

cbmc based tool for verifying copilot programs

More Repositories

1

small-matrix-inverse

SIMD optimised library for matrix inversion of 2x2, 3x3, and 4x4 matrices.
C
90
star
2

H264Streamer

Objective-C
14
star
3

copilot-language

Haskell
5
star
4

copilot-c99

A C99-backend for Copilot
Haskell
5
star
5

copilot-core

Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
Haskell
4
star
6

copilot-discussion

4
star
7

Resampler

Small header-only C++ library for real-time sample rate conversion with a fractional ratio.
C++
2
star
8

murmurhash3

Haskell framework for 32-bit non-cryptographic hashing using MurmurHash3.
Haskell
2
star
9

dtext

Difference texts
Haskell
1
star
10

pp

A pretty-printer
Haskell
1
star
11

copilot-core-gadt

The currently unused intermediate representation for CoPilot based on GADTs.
Haskell
1
star