bergmannjg's Stars
T-Brick/DateTime
DateTime package for Lean 4
pandaman64/lean-regex
nomeata/loogle
Mathlib search tool
fgdorais/lean4-unicode-basic
Basic Unicode support for Lean 4
tydeu/lean4-alloy
Write C shims from within Lean code.
leanprover/lean4
Lean 4 programming language and theorem prover
Zaid-Ajaj/Fable.SimpleJson.Python
A library for working with JSON in F# Fable projects targeting Python
dotnet/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
corona-warn-app/cwa-documentation
Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:
lukeautry/tsoa
Build OpenAPI-compliant REST APIs using TypeScript and Node
fable-compiler/Fable
F# to JavaScript, TypeScript, Python, Rust and Dart Compiler
public-transport/hafas-client
JavaScript client for HAFAS public transport APIs.