Signets

Delete Set public Set private

432 shaares

432 shaares

Filters

1 / 22

Links per page

20 50 100

REDasm: The OpenSource Disassembler

January 21, 2021 at 11:54:15 AM GMT+1 * · permalink

·

https://github.com/REDasmOrg/REDasm

TeX4ht

writing/processors/latex

January 18, 2021 at 5:35:22 PM GMT+1 * · permalink

·

https://tug.org/tex4ht/

MichaelBurge/goodsteins-theorem: A formal proof of Goodstein's theorem

January 14, 2021 at 3:15:47 PM GMT+1 * · permalink

·

https://github.com/MichaelBurge/goodsteins-theorem

A travel guide to the large cardinals | Dan Saattrup Nielsen

January 14, 2021 at 3:15:42 PM GMT+1 * · permalink

·

https://dansnielsen.wordpress.com/2018/06/28/a-travel-guide-to-the-large-cardinals/

Software Foundations

January 14, 2021 at 3:15:33 PM GMT+1 * · permalink

·

https://softwarefoundations.cis.upenn.edu/current/index.html

Catala

January 4, 2021 at 12:40:08 PM GMT+1 * · permalink

·

https://catala-lang.org/

OpenSCAD - The Programmers Solid 3D CAD Modeller

January 3, 2021 at 8:15:10 PM GMT+1 * · permalink

·

https://www.openscad.org/

GenBank Overview

January 3, 2021 at 8:12:34 PM GMT+1 * · permalink

·

https://www.ncbi.nlm.nih.gov/genbank/

Monstercat Gold

music/bed

December 30, 2020 at 12:14:41 PM GMT+1 * · permalink

·

https://www.monstercat.com/gold

Pretzel Rocks

music/bed

December 30, 2020 at 12:06:27 PM GMT+1 * · permalink

·

https://www.pretzel.rocks/

Chillhop Music

music/bed

December 30, 2020 at 12:05:16 PM GMT+1 * · permalink

·

https://chillhop.com/creators/

PQR66 — Unes du jour

tools/news

December 30, 2020 at 10:05:33 AM GMT+1 * · permalink

·

https://unes.spqr.fr/

planner: Task manager with Todoist support designed for GNU/Linux

December 29, 2020 at 9:19:11 PM GMT+1 * · permalink

·

https://github.com/alainm23/planner

Course Catalogue | The Theoretical Minimum

December 29, 2020 at 1:01:52 AM GMT+1 * · permalink

·

https://theoreticalminimum.com/courses

DNA seen through the eyes of a coder

biology/genetics

December 29, 2020 at 12:46:12 AM GMT+1 * · permalink

·

https://berthub.eu/amazing-dna/

Lean for the Curious Mathematician (2020)

programming/proof · maths/learn

December 28, 2020 at 12:56:27 PM GMT+1 * · permalink

·

https://leanprover-community.github.io/lftcm2020/schedule.html

The Map of Mathematics

maths/learn · maths/folklore

December 28, 2020 at 12:55:08 PM GMT+1 * · permalink

·

https://www.quantamagazine.org/the-map-of-mathematics-20200213/

List of lists of lists

general-knowledge

December 28, 2020 at 12:53:51 PM GMT+1 * · permalink

·

https://en.wikipedia.org/wiki/List_of_lists_of_lists

Lean — Theorem prover and proof assistant

programming/proof

December 28, 2020 at 12:32:39 PM GMT+1 * · permalink

·

https://leanprover-community.github.io/

Gadgetbridge — Replacement for gadget vendors’ closed source applications

foss/apps

December 26, 2020 at 4:55:33 PM GMT+1 * · permalink

·

https://codeberg.org/Freeyourgadget/Gadgetbridge

Filters

1 / 22

Links per page

20 50 100