bkomuves/toy-language-server bkomuves/toy-language-server

  • Stars
    star
    60
  • Rank 503,336 (Top 10 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 5 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bkomuves/toy-language-server
github

bkomuves

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Example language server (LSP) implementation for a toy language

More Repositories

1

nanohs

a self-hosting lambda calculus compiler
Haskell
34
star
2

hash-circuits

Hashing circuits implemented in circom
Haskell
8
star
3

AOC

advent of code
Idris
3
star
4

compact-word-vectors

compact-word-vectors Haskell library: Small vectors of small integers
Haskell
2
star
5

combinat

Generate and manipulate various combinatorial objects
Haskell
1
star
6

finite-fields

arithmetic in (small) finite fields
C
1
star
7

formal-proofs

Formal proofs of some elementary mathematical statements
Agda
1
star
8

polynomial-algebra

polynomial-algebra Haskell library
Haskell
1
star
9

slides

slides of some talks I gave
1
star
10

r1cs-solver

R1CS soundness testing tool
Haskell
1
star
11

eth4berlin

eth4berlin
C
1
star