Linyxus/theorem-proving-data

Stars
2
Language
Python
License
GNU Affero Genera...
Created almost 3 years ago
Updated almost 3 years ago

Linyxus/theorem-proving-data

Linyxus

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

Collecting Github data for theorem-proving scripts.

YaDNS

Yet Another DNS relay server that can be used as a local DNS over HTTPS (DoH) proxy.

awesome-neural-code-intelligence

A curated list for awesome machine learning methods for neural code intelligence.

deeper-net

A deep learning neural network library implemented in pure C++.

cdot-calculus

Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.

BrainFuckInterpreter

Yet another brain fuck interpreter implemented with pure C++.

dcgan

The deep convolutional generative adversarial model, written in Python, using keras with tensorflow as backend.

warrior

Yet another scraper for jwgl.bupt.edu.cn.

CoordML

Manage ML experiments with ease. (https://github.com/CoordML)

Papiers

My Experiment to create a native document management application for macOS with Swift and SwiftUI.

fscala2c

Bring a subset of Scala to native C!

mltt

A tiny MLTT theorem prover

capture-calculus.lean

papiers-core

code-gpt-neox

Faster fine-tuning GPT for code generation.

2D-Physics-Ball-System

A simple physics ball system written in pure C++.

meow

A cute little library for Cats.

travel-agency

Min-risk travel planer in COVID-19.

space-game

A game to drive the spaceship around the planets written in ClojureScript.

ca-mips-lab

Computer Architecture Lab

YaPokemon

Yet Another Pokemon game.

voter-admin

Admin for voter.

game-system

mips-hike

Virtual machine of a self-designed MIPS-like instruction set, written in Haskell. A toy compiler targeting the MIPS-like assemble language is also included.

agda-katas

Learning Agda by solving katas