Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Codeequivalenceutilities

Utilities for testing code equivalence
Stars
7
License
mit
Open Issues
0
Most Recent Commit
a year ago
Programming Language
Mathematica
Categories
Site
Repo
Suggest An Alternative To CodeEquivalenceUtilities
Popular Education Projects
Freecodecamp ⭐ 384,908
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
dependent packages 2total releases 22latest release October 05, 2018most recent commit 2 months agonpm @freecodecamp/curriculum} Downloads
Free Programming Books ⭐ 319,107
:books: Freely available programming books
total releases 1latest release March 18, 2022most recent commit a month ago
Python ⭐ 175,076
All Algorithms implemented in Python
dependent packages 3total releases 8latest release September 18, 2022most recent commit 4 months agonpm tda} Downloads
Popular Type Theory Projects
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,459
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit a month agonpm kind-lang} Downloads
Agda ⭐ 2,281
Agda is a dependently typed programming language / interactive theorem prover.
total releases 40latest release November 30, 2023most recent commit 4 months ago
Lean3 ⭐ 2,138
Lean Theorem Prover
most recent commit 7 months ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
University
Cookbook
Related Searches
Mathematica Wolfram Language
Metaprogramming Code Transformation

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Education
Metaprogramming
Type Theory
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.