imdea-software/hs-to-ciao imdea-software/hs-to-ciao

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
imdea-software/hs-to-ciao
github

imdea-software

Reviews

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

Repository Details

Source-to-source Haskell into Ciao Prolog for automatic resource analysis.

More Repositories

1

htt

Hoare Type Theory
Coq
67
star
2

legosnark

C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.
C++
37
star
3

verifying-constant-time

Makefile
35
star
4

fcsl-pcm

Partial Commutative Monoids
Coq
26
star
5

LLVM_Instrumentation_Pass

C++
23
star
6

homomorphic-authentication-library

HAL: A Library for Homomorphic Authentication
C
19
star
7

swiftpaxos

Prototype implementation of SwiftPaxos (NSDI 2024)
Go
12
star
8

MSCProof

Implementation of the paper "Modular Sumcheck Proofs with Applications to Machine Learning and Image Processing"
Rust
9
star
9

async-droid

Java
7
star
10

leap

A theorem prover for the temporal parametrized verification of concurrent data types
OCaml
6
star
11

hlola

A Runtime Verification Engine
Haskell
5
star
12

apkmonk-scraper

Python script to download all apk releases from apkmonk.com
Python
2
star
13

imdea-PLC

IMDEA Software Programming Languages Club
Haskell
2
star
14

remeddos

JavaScript
1
star
15

violin

Ruby
1
star
16

HStriver

Haskell
1
star
17

dLola

Decentralized Stream Runtime Verification
Go
1
star
18

popl-2016-artifact

Ruby
1
star
19

striver-full

The runtime verification infrastructure for the fully fledged version of Striver
Java
1
star
20

lunar

A Rust library for the Lunar universal zkSNARK
Rust
1
star
21

TesslaServer

Runtime for Tessla Specifications
Elixir
1
star