Skip to content

@reaslab ReasLab @ BICMR

Change the repository type filter

All

    Repositories list

    11 repositories

    • reaslab-agent

      Public
      TypeScript
      •1•1•0•0•Updated Apr 28, 2026Apr 28, 2026

    • docker-leanprover

      Public
      JavaScript
      •
      MIT License
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • docker-python-runner

      Public
      Nix
      •
      MIT License
      •0•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • async-lsp

      Public
      Asynchronous Language Server Protocol framework
      Rust
      •
      Apache License 2.0
      •18•0•0•0•Updated Nov 23, 2025Nov 23, 2025

    • lean4-infoview

      Public
      TypeScript
      •
      Apache License 2.0
      •93•3•0•2•Updated Nov 3, 2025Nov 3, 2025

    • docker-lsp-python

      Public
      Dockerfile
      •
      MIT License
      •0•0•0•0•Updated Sep 18, 2025Sep 18, 2025

    • LeanSearch

      Public
      MIT License
      •0•4•0•0•Updated Apr 24, 2025Apr 24, 2025

    • reaslab-ide-issues

      Public
      0•0•5•0•Updated Mar 12, 2025Mar 12, 2025

    • blueprint-template

      Public template
      TeX
      •0•1•0•0•Updated Aug 22, 2024Aug 22, 2024

    • vscode-lean4

      Public
      Visual Studio Code extension for the Lean 4 proof assistant
      TypeScript
      •
      Apache License 2.0
      •93•0•0•0•Updated Feb 23, 2024Feb 23, 2024

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •828•0•0•0•Updated Dec 23, 2023Dec 23, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.