/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 gist.github.com
Stargazers · urlbookmark.swift · GitHub
| | www.github.com
Stargazers · Krayorn/blog · GitHub
0.5 parsecs away

Travel
| | my blog, with astro. Contribute to Krayorn/blog development by creating an account on GitHub.
| | hjr265.me
Embedding a JavaScript Library (KaTeX) in Go · hjr265.me
3.8 parsecs away

Travel
| | KaTeX is the fan-favourite way of doing math and equations on the web. The library is simple to use and easy to reason about. But it is JavaScript. How do you build a Go program that renders math and equations like KaTeX? You embed KaTeX in your Go program. Several Go packages allow you to run JavaScript from within Go. In this post, we will use github.com/lithdew/quickjs. Let us first fetch the latest copy of katex.
| | github.com
Settings · Custom properties · simply-logical/sphinx-problog · GitHub
0.1 parsecs away

Travel
| | GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
| | github.com
GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. · GitHub
1.7 parsecs away

Travel
| The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML. - GitHub - theoremprover-museum/HOL88: The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degree of programmability through the meta-language ML.