lane-core

lane-core's Stars

• tree-sitter/tree-sitter-agda

  Agda grammar for tree-sitter

  Language:Yacc3215

• msuperdock/vim-agda

  Asynchronous type-checking for Agda 2.6.2.

  Language:Vim Script192

• izzergh/rumpelstiltskin

  Insert unicode symbols by name in vim

  Language:Ruby41

• tlaplus-community/tlaplus-nvim-plugin

  In-place translation of TLA⁺ symbols into Unicode, in Neovim

  Language:Lua10

• ccxnu/rosebones

  A minimal, contrast-based, dark & light Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins.

  Language:Lua4

• nomnivore/ollama.nvim

  A plugin for managing and integrating your ollama workflows in neovim.

  Language:Lua37324

• katanaml/llm-ollama-invoice-cpu

  Data extraction with LLM on CPU

  Language:Python8515

• agda/categories

  Categories parametrized by morphism equality, in Agda

  Language:Agda71

• agda/agda-github-syntax-highlighting

  Syntax highlighting used on GitHub

  Language:Agda44

• sourcegraph/sg.nvim

  Experimental Sourcegraph + Cody plugin for Neovim

  Language:Lua71146

• VictorTaelin/Interaction-Calculus

  A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

  Language:Rust75855

• teles/awesome-seo

  :star2: A curated list of SEO (Search Engine Optimization) links.

  Language:JavaScript65771

• marcobiedermann/search-engine-optimization

  🔍 A helpful checklist/collection of Search Engine Optimization (SEO) tips and techniques.

  2.4k293

• YellowLabTools/YellowLabTools

  WebPerf and front-end quality testing tool

  Language:JavaScript2.4k119

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda36668

• thiagofelicissimo/BiTTs

  Language:OCaml211

• ualib/agda-algebras

  The Agda Universal Algebra Library (html docs available at the url below)

  Language:Agda297

• augustss/MicroHs

  Haskell implemented with combinators

  Language:Haskell33920

• UlfNorell/agda-bench

  Benchmarking tool for compile-time performance of Agda programs

  Language:Haskell183

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean51528

• dlicata335/hott-agda

  Language:Agda826

• Holzhaus/rekordcrate

  Library for parsing Pioneer Rekordbox device exports

  Language:Rust7712

• VictorTaelin/interaction-calculus-of-constructions

  A minimal proof checker.

  Language:TypeScript583

• nad/dependent-lenses

  Language:Agda81

• JacquesCarette/Categorical-Playground

  For experiments in category theory

  Language:Agda3

• maybe-finance/maybe

  The OS for your personal finances

  Language:Ruby30.3k2.3k

• mattearnshaw/lawvere

  The collected works of F. W. Lawvere

  31531

• UlfNorell/agda-prelude

  Programming library for Agda

  Language:Agda12024

• lunacookies/vim-colors-xcode

  Xcode 11’s dark and light colourschemes for Vim

  Language:Vim Script60059

• vikraman/descartes

  An implementation of the λλ~ calculus

  Language:OCaml2