Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Certint

A Certified Interpreter for ML with Structural Polymorphism
Stars
42
License
No license specified
Open Issues
0
Most Recent Commit
a year ago
Programming Language
Coq
Categories
Repo
Alternatives To Certint
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Smlsharp189
a year ago15mitStandard ML
SML# compiler
Sesterl122
2 years ago15OCaml
An ML-inspired statically-typed Erlang
Certint42
a year agoCoq
A Certified Interpreter for ML with Structural Polymorphism
Mcse5
2 years agoapache-2.0Python
Molecular Crystal Simulation Library (mcse) is an open-source Python package for manipulating and analyzing molecular crystal structures
Static Scheme5
3 years ago17Scheme
Alternatives To Certint
Select To Compare
Smlsharp ⭐ 189
SML# compiler
most recent commit a year ago
Static Scheme ⭐ 5
most recent commit 3 years ago


Suggest An Alternative To certint
Alternative Project Comparisons
Certint vs Smlsharp
Certint vs Sesterl
Certint vs Mcse
Certint vs Static Scheme
Popular Polymorphism Projects
Arrow ⭐ 5,884
Λrrow - Functional companion to Kotlin's Standard Library
dependent packages 80total releases 240latest release September 05, 2023most recent commit 3 months ago
Typedb ⭐ 3,623
TypeDB: the polymorphic database powered by types
dependent packages 5total releases 24latest release December 13, 2018most recent commit 3 months ago
Popular Machine Learning Projects
Tensorflow ⭐ 180,196
An Open Source Machine Learning Framework for Everyone
dependent packages 78total releases 46latest release October 23, 2019most recent commit 3 months ago
Transformers ⭐ 124,049
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
dependent packages 2,484total releases 125latest release November 15, 2023most recent commit 16 days agopypi transformers} Downloads
Pytorch ⭐ 74,794
Tensors and Dynamic neural networks in Python with strong GPU acceleration
dependent packages 8,272total releases 39latest release November 15, 2023most recent commit 3 months agopypi torch} Downloads
Popular Computer Science Categories
Algorithms
Search
Graph
Stack
Hash
Vector
Data Structure
Matrix
Struct
Sort
Related Searches
Machine Learning Coq
Machine Learning Polymorphism
Coq Polymorphism

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Machine Learning
Coq
Polymorphism
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.