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# 3

3. RInfData RInfData Public

   Access the SPARQL endpoint of the European Union Agency for Railways

   F# 2

4. leanCurl leanCurl Public

   Lean 4 bindings to libcurl

   Lean 14 2

5. regex regex Public

   A PCRE2 compatible regular expression engine written in Lean 4.

   Lean 20 1

6. lean4-parser-lemmas lean4-parser-lemmas Public

   Some lemmas for Lean 4 / Parser

   Lean 2