1. TypeFunc: Resources for type theory, functional programming, etc  github.com
    2024-02-22 10:07:30   #math #plt #code #new
  2. KeenWrite 3.5.1 - Captions and cross-references  gitlab.com
    2023-12-06 01:26:41   #linux #show #math #java #code #new #release
  3. A Theory of Compositional Tool-Assisted Speedrunning  gist.github.com
    2023-11-15 18:51:22   #reversing #math #games #formalmethods #gist
  4. Library of Statistical Techniques  lost-stats.github.io
    2023-11-09 01:19:36   #math #programming #new
  5. Name the biggest number  github.com
    2023-09-22 18:17:03   #math #code #new
  6. Interactive projections  mirrorball.frost.kiwi
    2023-08-19 11:44:30   #math #graphics #new
  7. Interlaced Significand and Exponent  github.com
    2023-07-31 19:25:05   #compsci #math #code #new
  8. The Animated Elliptic Curve  curves.xargs.org
    2023-07-04 05:17:58   #math #visualization #cryptography #new
  9. Inpla: Interaction nets as a programming language  github.com
    2023-05-10 01:10:51   #compsci #math #programming #code #new
  10. Admissibility graphs  github.com
    2023-04-03 08:57:18   #compsci #math #code #new
  11. least squares  gist.github.com
    2023-03-05 19:03:58   #math #ai #gist
  12. A game about words that hack images via compressed sensing  hack-words.com
    2023-02-08 16:36:07   #math #games #new
  13. The Cryptopals Crypto Challenges  www.cryptopals.com
    2023-02-04 06:54:24   #math #cryptography #new
  14. Mathematical Logic through Python  www.logicthrupython.org
    2023-02-01 06:45:45   #python #book #math #new
  15. Convergence verification of the Collatz problem  pcbarina.fit.vutbr.cz
    2023-01-26 04:12:55   #compsci #math #new
  16. Pure Java typesetting system  github.com
    2023-01-23 16:59:04   #math #java #programming #code #new
  17. GNU Octave: Scientific Programming Language  octave.org
    2025-03-31 17:26:53   #math #programming #new
  18. Python Random Graph Generator - Version 1.3  github.com
    2022-11-30 23:32:20   #python #release #show #math #programming #code #new
  19. KeenWrite 2.10.0: R meets TeX  github.com
    2022-11-27 22:12:00   #release #math #code #new
  20. Reals: a Python library for real-number arithmetic  github.com
    2022-09-30 13:16:43   #python #math #code #new
  21. Universal Law of Computational Scalability  en.wikipedia.org
    2022-09-25 23:53:08   #scaling #compsci #math #wiki
  22. Implementing Multiplication  gist.github.com
    2022-08-26 13:54:30   #math #gist
  23. Bayes Rules! An Introduction to Applied Bayesian Modeling  www.bayesrulesbook.com
    2022-07-17 17:16:07   #book #math #new
  24. Empirical: A language for time-series analysis  www.empirical-soft.com
    2022-07-14 08:58:40   #math #finance #plt #new
  25. Modelling an Uncertain World  gist.github.com
    2022-07-08 20:28:32   #math #programming #ai #gist

< 2 / 3 >