heyrutvik

heyrutvik's Stars

• scalameta/metals

  Scala language server with rich IDE features 🚀

  Language:Scala2.1k338

• yawaramin/scala-modules

  Experimental implementations of ML-style modules in Scala

  Language:Scala1475

• zio/zio-quill

  Compile-time Language Integrated Queries for Scala

  Language:Scala2.2k346

• carp-lang/Carp

  A statically typed lisp, without a GC, for real-time applications.

  Language:Haskell5.6k174

• ollef/sixty

  Dependent type checker using normalisation by evaluation

  Language:Haskell2567

• sir-wabbit/tracehash

  Compress long exception traces down to short signatures

  Language:Java19

• gluon-lang/gluon

  A static, type inferred and embeddable language written in Rust.

  Language:Rust3.2k147

• rikvdkleij/intellij-haskell

  IntelliJ plugin for Haskell

  Language:Scala1.3k94

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.4k167

• johnynek/bosatsu

  A python-ish pure and total functional programming language

  Language:Scala22811

• hazelgrove/hazel

  Hazel, a live functional programming environment with typed holes

  Language:Reason80852

• vivri/Adjective

  Programming is an exercise in linguistics; spice-up Scala types with Adjective.

  Language:Scala915

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell59635

• willtim/Expresso

  A simple expressions language with polymorphic extensible row types.

  Language:Haskell30214

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml44179

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.6k143

• siddhartha-gadgil/ProvingGround

  Proving Ground: Tools for Automated Mathematics

  Language:Jupyter Notebook20438

• idris-hackers/software-foundations

  Software Foundations in Idris

  Language:Idris45334

• grin-compiler/grin

  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

  Language:Haskell1k38

• dwestheide/kontextfrei

  Writing application logic for Spark jobs that can be unit-tested without a SparkContext

  Language:Scala7610

• robrix/path

  A lambda calculus to explore type-directed program synthesis.

  Language:Haskell842

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k360

• lastland/DTScala

  Dependent Types in Scala

  Language:Scala62

• Marwes/combine

  A parser combinator library for Rust

  Language:Rust1.3k94

• brendanzab/rust-nbe-for-mltt

  Normalization by evaluation for Martin-Löf Type Theory with dependent records

  Language:Rust936

• AndrasKovacs/smalltt

  Demo for high-performance type theory elaboration

  Language:Lean52628

• cb372/scala-typed-holes

  Language:Scala18717

• maciejhirsz/logos

  Create ridiculously fast Lexers

  Language:Rust3k130

• swr1bm86/vscode-idris

  Idris for Visual Studio Code

  Language:JavaScript10621

• namin/dot

  formalization of the Dependent Object Types (DOT) calculus

  15512