yangky11 Goto Github PK

aesop

White-box automation for Lean 4

alabaster

Lightweight, configurable Sphinx theme. Now the Sphinx default!

auto-gpt

An experimental open-source attempt to make GPT-4 fully autonomous.

awesome-github-profile-readme

😎 A curated list of awesome GitHub Profile READMEs 📝

awesome-rust-formalized-reasoning

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

bijections.jl

Bijection datatype for Julia.

blender-bottle-builder

Sets of scripts for generating procedural 3D bottles done in Blender using Python

cmake_example

Example pybind11 module built with a CMake-based build system

cnn-color2gray

An implementation of Color2Gray with convolutional neural networks

coco

MS COCO API - http://mscoco.org/

colabtools

Python libraries for Google Colaboratory

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-plugin-template

Template of Coq Plugin using the Dune build system, and showcasing some advanced features

coq-serapi

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

coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

datasets

🤗 The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools

dcgan-tensorflow

A tensorflow implementation of Deep Convolutional Generative Adversarial Networks

dcgan_code

Deep Convolutional Generative Adversarial Networks

deformable-convnets

Deformable Convolutional Networks + MST + Soft-NMS

dl4tp

A Survey on Deep Learning for Theorem Proving

documenter.jl

A documentation generator for Julia.

drnet

Detecting Visual Relationships with Deep Relational Networks

entailment_bank

face_recognition

The world's simplest facial recognition api for Python and the command line

fairness-comparison

Comparing fairness-aware machine learning techniques.

gen.jl

A general-purpose probabilistic programming system with programmable inference

geo-model-builder

hpsg-neural-parser

Source code for "Head-Driven Phrase Structure Grammar Parsing on Penn Treebank" published at ACL 2019

hydra

Hydra is a framework for elegantly configuring complex applications

jinja

The Jinja2 template engine