dalek-cryptography / dalek_workspace Goto Github PK
View Code? Open in Web Editor NEWa shared workspace for the dalek-cryptography crates, for building their docs together
a shared workspace for the dalek-cryptography crates, for building their docs together
Right now the Makefile has a really hacky manual configuration of cfg
flags passed down to rustdoc, which prevents properly setting features.
There should be a script that deploys the docs, preferably from CI
The auto-generated docs hosting is on Firebase instead of S3, so the DNS records need to be updated.
The files hosted under assets/
aren't kept in any repository, so they should be managed as part of this one.
The old Cloudfront setup had custom CORS headers to allow doc-internal.dalek.rs to load scripts from doc.dalek.rs, but now those are gone, so the KaTeX on doc-internal.dalek.rs is broken.
@cathieyun pointed out that some formulas are broken; we found that it seems to be because the markdown writes \\\\
to get \\
in the HTML for a latex line-break, but Commonmark sometimes emits a <br>
, which causes the formula to be broken into two text spans and fail to parse as math. Curiously, this does not happen on my local machine, so I temporarily deployed from my local machine to the hosting service, bypassing the deploy pipeline, but it will break again the next time the repo is updated.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.