Pinned Loading

1. Building a react native app in WSL2 Building a react native app in WSL2

   1

   # Building a react native app in WSL2

   2

   3

   Install, build and debug a react native app in WSL2 (Windows Subsystem for Linux) and Ubuntu.

   4

   5

   * [Install tools in Windows](#install-tools-in-windows)

2. fshafas fshafas Public

   Port of the JavaScript hafas-client library to F#, a client for the HAFAS public transport api

   F# 4

3. RInfData RInfData Public

   Access the Register of Railway Infrastructure database

   F# 1

4. leanCurl leanCurl Public

   Lean 4 bindings to libcurl

   Lean 9 1

5. regex regex Public

   A PCRE2 compatible regular expression engine written in Lean 4.

   Lean 10

6. Std.Time.Lemmas Std.Time.Lemmas Public

   Proof that PlainDate.ofDaysSinceUNIXEpoch gives a valid date

   Lean