Awesome Open Source

Programming Languages

Abel

A proof of Abel-Ruffini theorem.

Categories > Games > Unity

Suggest Alternative

Stars

28

License

No license specified

Most Recent Commit

8 months ago

Programming Language

Coq

Categories

Games > Unity

Mathematics > Coq

Suggest An Alternative To Abel

Popular Unity Projects

Ilspy ⭐ 19,931

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

dependent packages 46total releases 72latest release November 06, 2023most recent commit 3 months ago

nuget ICSharpCode.Decompiler} Downloads

Ml Agents ⭐ 15,707

The Unity Machine Learning Agents Toolkit (ML-Agents) is an open-source project that enables games and simulations to serve as environments for training intelligent agents using deep reinforcement learning and imitation learning.

dependent packages 17total releases 46latest release October 09, 2023most recent commit 7 months ago

pypi mlagents} Downloads

3d Game Shaders For Beginners ⭐ 15,637

🎮 A step-by-step guide to implementing SSAO, depth of field, lighting, normal mapping, and more for your 3D game.

most recent commit a year ago

Assetstudio ⭐ 12,731

AssetStudio is a tool for exploring, extracting and exporting assets and assetbundles.

most recent commit 2 years ago

xLua is a lua programming solution for C# ( Unity, .Net, Mono) , it supports android, ios, windows, linux, osx, etc.

most recent commit 5 months ago

Popular Coq Projects

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.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 5 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 7 months ago

Stalin Sort ⭐ 1,381

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

most recent commit 6 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

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

most recent commit 5 months ago

Popular Games Categories

Game Development

Related Searches

Mathcomp Ssreflect

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Unity

Coq

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source. All rights reserved.