-
-
abella-vscode Public
Forked from adelfa-prover/adelfa-vscodeVSCode Extension for Abella
-
vscode-docs Public
Forked from microsoft/vscode-docsPublic documentation for Visual Studio Code
Markdown Other UpdatedOct 20, 2025 -
-
-
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedJul 8, 2025 -
Vim Public
Forked from VSCodeVim/Vim⭐ Vim for Visual Studio Code
TypeScript MIT License UpdatedMay 23, 2025 -
verus Public
Forked from verus-lang/verusVerified Rust for low-level systems code
Rust MIT License UpdatedMay 21, 2025 -
-
-
whoami Public
Forked from ardaku/whoamiRust crate to get the current user and environment.
Rust Apache License 2.0 UpdatedMar 17, 2025 -
-
abella-prover.org Public
Forked from abella-prover/abella-prover.orgThe web-site for Abella
HTML UpdatedFeb 26, 2025 -
insomnia Public
Forked from Kong/insomniaThe open-source, cross-platform API client for GraphQL, REST, WebSockets, SSE and gRPC. With Cloud, Local and Git storage.
JavaScript Apache License 2.0 UpdatedFeb 9, 2025 -
hoogle Public
Forked from ndmitchell/hoogleHaskell API search engine
Haskell Other UpdatedJan 30, 2025 -
-
node-ical Public
Forked from jens-maus/node-icalNodeJS class for parsing iCalendar/ICS files
JavaScript Apache License 2.0 UpdatedDec 15, 2024 -
twelf Public
Forked from standardml/twelfThe Twelf Programming Language
Standard ML Other UpdatedDec 5, 2024 -
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedDec 5, 2024 -
cedar-docs Public
Forked from cedar-policy/cedar-docsDocumentation for Cedar policy language
Apache License 2.0 UpdatedNov 26, 2024 -
vscode-projects-plus-todo-plus Public
Forked from fabiospampinato/vscode-projects-plus-todo-plusBird's-eye view over your projects, view all your todo files aggregated into one.
TypeScript MIT License UpdatedOct 29, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedOct 24, 2024 -
-
abella Public
Forked from abella-prover/abellaAn interactive theorem prover based on lambda-tree syntax
OCaml GNU General Public License v3.0 UpdatedFeb 20, 2024 -
-
amplify-nextjs-starter-app Public
Forked from aws-samples/amplify-next-templateThis is a Next.js starter for building a fullstack app with AWS Amplify.
TypeScript MIT No Attribution UpdatedFeb 5, 2024 -
smithy-vscode Public
Forked from smithy-lang/smithy-vscodeA Visual Studio Code extension to provide syntax highlighting for the Smithy IDL.
Smithy Apache License 2.0 UpdatedJan 11, 2024 -
table_calendar Public
Forked from aleksanderwozniak/table_calendarHighly customizable, feature-packed calendar widget for Flutter
Dart Apache License 2.0 UpdatedDec 16, 2023 -
{{ message }}