bergmannjg

bergmannjg's Stars

• T-Brick/DateTime

  DateTime package for Lean 4

  Language:Lean10

• pandaman64/lean-regex

  Language:Lean171

• nomeata/loogle

  Mathlib search tool

  Language:Lean566

• fgdorais/lean4-unicode-basic

  Basic Unicode support for Lean 4

  Language:Lean82

• tydeu/lean4-alloy

  Write C shims from within Lean code.

  Language:Lean4811

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.4k387

• Zaid-Ajaj/Fable.SimpleJson.Python

  A library for working with JSON in F# Fable projects targeting Python

  Language:F#71

• dotnet/fsharp

  The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

  Language:F#3.9k778

• 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:

  Language:TeX3.3k345

• lukeautry/tsoa

  Build OpenAPI-compliant REST APIs using TypeScript and Node

  Language:TypeScript3.4k491

• fable-compiler/Fable

  F# to JavaScript, TypeScript, Python, Rust and Dart Compiler

  Language:F#2.9k295

• public-transport/hafas-client

  JavaScript client for HAFAS public transport APIs.

  Language:JavaScript26653