matteodelabre

5 ms·

1. 1.▲
   Charity – Categorical programming language (1998)(github.com)

   33 points by matteodelabre 6mo ago|6 comments
2. 2.▲
   Geneagrapher – Mathematician advisor-advisee genealogies(github.com)

   1 points by matteodelabre 9mo ago|0 comments
3. 3.▲
   Character histories – notes on some ASCII code positions(jkorpela.fi)

   1 points by matteodelabre 10mo ago|0 comments
4. 4.▲
   Gap – A System for Computational Discrete Algebra(gap-system.org)

   8 points by matteodelabre 1y ago|0 comments
5. 5.▲
   Dyna – Logic Programming for Machine Learning(dyna.org)

   163 points by matteodelabre 1y ago|21 comments
6. 6.▲
   Oxigraph: Sparql Graph Database(github.com)

   2 points by matteodelabre 1y ago|0 comments
7. 7.▲
   Cosmograph: Visualize big networks within seconds(cosmograph.app)

   1 points by matteodelabre 1y ago|0 comments
8. 8.▲
   Free the Lizard(github.com)

   2 points by matteodelabre 1y ago|0 comments
9. 9.▲
   Typst 0.13 is out now(typst.app)

   284 points by matteodelabre 2y ago|60 comments
10. 10.▲
    Extreme Server Side Rendering(scd31.com)

    2 points by matteodelabre 2y ago|0 comments
11. 11.▲
    OpenTheremin V4(gaudi.ch)

    6 points by matteodelabre 3y ago|0 comments
12. 12.▲
    How much does data weigh?(ellipsix.net)

    4 points by matteodelabre 3y ago|0 comments
13. 13.▲
    Esperanto – Frequently Asked Questions(loganhall.net)

    1 points by matteodelabre 3y ago|0 comments
14. 14.▲
    The First 10 Prolog Programming Contests (2005) [pdf](dtai.cs.kuleuven.be)

    5 points by matteodelabre 4y ago|0 comments
15. 15.▲
    How to Write a 21st Century Proof (2011) [pdf](microsoft.com)

    1 points by matteodelabre 4y ago|0 comments
16. 16.▲
    Tug 2022 Online – Presentations covering the TeX world(tug.org)

    1 points by matteodelabre 4y ago|0 comments
17. 17.▲
    Did the Universe Just Happen?(robertwright.com)

    2 points by matteodelabre 4y ago|1 comments
18. 18.▲
    Dblp in RDF(blog.dblp.org)

    2 points by matteodelabre 4y ago|0 comments
19. 19.▲
    Log4j vulnerability: LaTeX is not affected(latex-project.org)

    4 points by matteodelabre 5y ago|1 comments
20. 20.▲
    Is the C preprocessor Turing complete?(pfultz2.com)

    3 points by matteodelabre 6y ago|0 comments
21. 21.▲
    by matteodelabre 6y ago

    http://map.vroom-project.org/