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

Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors

Coq Support for Visual Studio Code

A Coq library for extensional finite sets and comprehension

A blog about Coq

Coq proofs of exercises in Pierce's book

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

Algorithm is a library of tools that is used to create intelligent applications.

A framework for implementing and certifying impure computations in Coq

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

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

An axiom-free formalization of category theory in Coq for personal study and practical work

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

📖 [译] 面向数据科学的概率论

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

A framework for formally verifying distributed systems implementations in Coq

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

Formal Reasoning About Programs

数学知识点滴积累 矩阵 数值优化 神经网络反向传播 图优化 概率论 随机过程 卡尔曼滤波 粒子滤波 数学函数拟合

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

General statistics, mathematical programming, and numerical/scientific computing scripts and notebooks in Python

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

This repo is the new home of Proof General

Coq plugin for parametricity [[email protected]]

Pytorch implementations of density estimation algorithms: BNAF, Glow, MAF, RealNVP, planar flows

A Verified Compiler for Gallina, Written in Gallina

Bloom filter for Scala, the fastest for JVM

Bidirectional programming in Haskell with monadic profunctors

Tricks you wish the Coq manual told you

Mindless, verified (erasably) coding using dependent types

🎯 Bloom filters for C++11

go patterns

A C++ header-only library of statistical distribution functions.

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

To know stats by heart

Verified vector clocks, with Coq!

A gently curated list of companies using verification formal methods in industry

🌺 A pure Elixir implementation of Scalable Bloom Filters

LUA Redis scripts for a scaling bloom filter

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

2021年最新总结 500个常用数据结构，算法，算法导论，面试常用，大厂高级工程师整理总结

Collapsing Towers of Interpreters

General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

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

A quick introduction to all most important concepts of Probability Theory, only freshman level of mathematics needed as prerequisite.

PeaCoq is a pretty Coq, isn't it?

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

Formalisation of the linear lambda calculus in Coq

推荐算法、相似度算法、布隆过滤器、均值算法、一致性Hash、数据结构、leetcode练习

A compiler plug-in to control object lifetimes in Scala

A simple but fast bloomfilter written in Python

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

A proof of Abel-Ruffini theorem.

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

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

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

Formal proof of the Four Color Theorem