Comments (2)
Dear @palmskog,
This is a very good news. I'm using a very small part of ALEA, since I'm only dealing with discrete probabilities. However, together with Christine Paulin, we wrote some bindings between ALEA and mathcomp rationals which might by of general interest. I only maintained this part to have my code compile. It is probably very incomplete.
from coq-combi.
@hivert since ALEA is not a widely used package, I think it would be a reasonable idea to put the MathComp bindings directly into ALEA and have ALEA as a whole depend on MathComp.
However, the tradeoff for you would be that you have to depend on the ALEA package/project in the code here. We have done a lot of work recently to have continuous integration (CI) work well with external packages via opam (and Nix), but it's still a bit of work.
Maybe you would consider becoming a co-maintainer of the ALEA project in coq-community so you can make sure the MathComp bindings always work with Coq-Combi? If so, I can help set that up (and also help with CI here).
from coq-combi.
Related Issues (5)
- generalize `bilinmalg` too? HOT 1
- Link to doc broken HOT 1
- Any chance of mathcomp 2.0 compatibility? HOT 2
- Fix Nix and CI HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coq-combi.