wimmers/food-logger wimmers/food-logger

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TypeScript
  • Created about 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
wimmers/food-logger
github

wimmers

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

munta

Fully verified model checker for realtime systems
Isabelle
15
star
2

food-logger-backend

Python
3
star
3

timeliner

Timeline Puzzle Game
TypeScript
2
star
4

poly-reductions

Polynomial-time reductions in Isabelle/HOL
Isabelle
2
star
5

archive-of-graph-formalizations

This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
Isabelle
2
star
6

push-tasks

Push tasks to competitions.isabelle.systems
Python
1
star
7

ts-re-compiler

OCaml
1
star
8

pensieve

Explore and organize your thoughts like Dumbledore
JavaScript
1
star
9

destinator

OCaml
1
star