There are no reviews yet. Be the first to send feedback to the community and the maintainers!
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 provertheorem-proving-data
Collecting Github data for theorem-proving scripts.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 LabYaPokemon
Yet Another Pokemon game.voter-admin
Admin for voter.game-system
gameagda-katas
Learning Agda by solving katasLove Open Source and this site? Check out how you can help us