Alternatives and similar repositories for lidysisku:

Users that are interested in lidysisku are comparing it to the libraries listed below

• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆53Updated last month
• uwutech / Kind
  A modern proof language
  ☆8Updated 3 years ago
• lexa-lang / lexa
  ☆29Updated 3 months ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆157Updated last month
• codyroux / name-the-biggest-number
  ☆63Updated 2 years ago
• huynhtrankhanh / CoqCP
  We combat sloppy arguments in competitive programming and raise the standard of rigor
  ☆22Updated last month
• felixwellen / synthetic-zariski
  Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos
  ☆55Updated this week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆76Updated this week
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆21Updated 3 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• leanprover-community / NNG4
  Natural Number Game
  ☆127Updated 2 weeks ago
• codewars / lambda-calculus
  Lambda Calculus compiler for Codewars
  ☆16Updated 11 months ago
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆72Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆57Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆69Updated this week
• jwshii / etna
  ☆10Updated last month
• b-mehta / unit-fractions
  ☆14Updated last year
• jonsterling / ocaml-forester
  Mirror of ocaml-forester
  ☆41Updated 7 months ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 6 months ago
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆166Updated last month
• tydeu / lean4-alloy
  Write C shims from within Lean code.
  ☆51Updated last month
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated 10 months ago
• thiagofelicissimo / BiTTs
  ☆22Updated 4 months ago
• alexkeizer / QpfTypes
  A WIP definitional (co)datatype package for Lean4
  ☆32Updated last month
• Anderssorby / SDL.lean
  SDL2 bindings for lean
  ☆21Updated 9 months ago
• neugierde / cantors-attic
  Climb into Cantor’s Attic, where you will find infinities large and small. We aim to provide a comprehensive resource of information abou…
  ☆28Updated last year
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated 3 weeks ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆29Updated 5 months ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated last month