273 Open source projects that are alternatives of or similar to Ceramist

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.

Total Parser Combinators in Coq

SoftwareFoundations(Ja)

Homotopy type theory

Porn browser formally-verified in Coq

C++ Bloom Filter Library

开箱即用的SpringMVC项目,包含常规业务所需的框架功能整合，更多功能请关注 https://github.com/MartinDai/SpringBoot-Project

Study group for algorithms in Ruby, hosted at App Academy

A Hello World program in Coq.

The basic distribution probability Tutorial for Deep Learning Researchers

Coq executable semantics and resource verifier

The Penn Locally Nameless Metatheory Library

The mathematical study of type theories, in univalent foundations

A Certified Interpreter for ML with Structural Polymorphism

Probabilistic data structures for processing continuous, unbounded streams.

The CompCert formally-verified C compiler

Formalising Type Theory in a modular way for translations between type theories

Implementation of Nuprl's type theory in Coq

Implementation of sprintf for Coq

RISC-V Specification in Coq

Probabilistic Datatypes Module for Redis

Verifying concurrent crash-safe systems

Coq code accompanying several articles on semantics of functional programming languages

Diffusive Nested Sampling

Coq Support for Visual Studio Code

A blog about Coq

C++ Implementations of sketch data structures with SIMD Parallelism, including Python bindings

A framework for implementing and certifying impure computations in Coq

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

爬取百度贴吧、TapTap、appstore、微博官方博主上的游戏评论(基于redis_scrapy)，过滤器采用了bloomfilter。

JS implementation of probabilistic data structures: Bloom Filter (and its derived), HyperLogLog, Count-Min Sketch, Top-K and MinHash

Courses, Articles and many more which can help beginners or professionals.

📈 Regression and Classification with UC Davis student quiz data and exam data

A SuperCompiler for Martin-Löf's Type Theory

Coq plugin for parametricity [[email protected]]

A Verified Compiler for Gallina, Written in Gallina

Bidirectional programming in Haskell with monadic profunctors

Mindless, verified (erasably) coding using dependent types

go patterns

A Coq-based synthesis of Scala programs which are correct-by-construction

Verified vector clocks, with Coq!

🌺 A pure Elixir implementation of Scalable Bloom Filters

sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility

Collapsing Towers of Interpreters

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

PeaCoq is a pretty Coq, isn't it?

Formalisation of the linear lambda calculus in Coq

A compiler plug-in to control object lifetimes in Scala

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

Combinatorial species in HoTT

Swift Collection Data Structures Library

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

Proof of Work with SHA256 and Bloom filter