Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Agda Reflection For Semiring Solver

A simple demonstration of the Agda Reflection API
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
12 years ago
Categories
Repo
Alternatives To Agda Reflection For Semiring Solver
Select To Compare
Direnv ⭐ 11,302
unclutter your .profile
total releases 125most recent commit 4 months ago
Opal ⭐ 4,788
Ruby ♥︎ JavaScript
dependent packages 157total releases 135most recent commit 5 months agorubygems opal} Downloads
Concurrent Map ⭐ 4,004
a thread-safe concurrent map for go
dependent packages 337total releases 4most recent commit 5 months ago
Cli ⭐ 3,805
Autocode CLI and standard library tooling
dependent packages 2total releases 125most recent commit 8 months agonpm lib.cli} Downloads
Async Std ⭐ 3,765
Async version of the Rust standard library
dependent packages 1,922total releases 35most recent commit 4 months agocargo async-std} Downloads
Stdlib ⭐ 3,576
✨ Standard library for JavaScript and Node.js. ✨
dependent packages 12total releases 96most recent commit 4 months agonpm @stdlib/stdlib} Downloads
C3c ⭐ 1,220
Compiler for the C3 language
most recent commit 4 months ago
Stdlib ⭐ 910
Fortran Standard Library
total releases 3most recent commit 4 months ago


Suggest An Alternative To Agda-reflection-for-semiring-solver
Popular Libraries Categories
Plugin
Sdk
Bindings
Driver
Date
Adapter
Time
Location
Bridge
Wordpress Plugin

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