LPTK

LPTK's Stars

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.2k3916031.5k

• wasmerio/wasmer

  🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

  Language:Rust18.5k2021.8k793

• gnab/remark

  A simple, in-browser, markdown-driven slideshow tool.

  Language:JavaScript12.7k206527856

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.2k1102.6k301

• oxalorg/sakura

  :cherry_blossom: a minimal css framework/theme.

  Language:HTML4.1k3048182

• tombonez/noTunes

  A simple macOS application that will prevent iTunes or Apple Music from launching.

  Language:Swift3.6k204361

• koka-lang/koka

  Koka language compiler and interpreter

  Language:Haskell3.3k61316162

• emeryberger/CSrankings

  A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

  Language:Python2.7k411.3k3.2k

• com-lihaoyi/Ammonite

  Scala Scripting

  Language:Scala2.6k65825368

• dvanoni/notero

  A Zotero plugin for syncing items and notes into Notion

  Language:TypeScript2.3k2524699

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k243.5k151

• willcrichton/flowistry

  Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

  Language:Rust1.9k157444

• ValeLang/Vale

  Compiler for the Vale programming language - http://vale.dev/

  Language:Scala1.8k3336553

• MLton/mlton

  The MLton repository

  Language:Standard ML94849178126

• milgra/airpodssoundqualityfixer

  AirPods Sound Quality Fixer And Battery Life Enhancer For MacOS

  Language:Objective-C416121535

• epfl-lara/stainless

  Verification framework and tool for higher-order Scala programs

  Language:Scala3531970051

• scalameta/metals-vscode

  Visual Studio Code extension for Metals

  Language:TypeScript2991922576

• zakaton/Pink-Trombone

  A programmable version of Neil Thapen's Pink Trombone

  Language:JavaScript1629530

• hkust-taco/mlscript

  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

  Language:Scala14866924

• WebAssembly/tail-call

  Proposal to add tail calls to WebAssembly

  Language:WebAssembly111711813

• epfl-lara/scallion

  LL(1) parser combinators in Scala

  Language:Scala5612515

• davidalber/geneagrapher

  Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks

  Language:Python4682613

• gracelang/minigrace

  Self-hosting compiler for the Grace programming language

  Language:Grace39926022

• poitin/Distiller

  Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

  Language:Haskell298166

• rhyme-lang/rhyme

  Language:JavaScript18231

• epfl-lara/silex

  Lexing library for Scala

  Language:Scala10706

• hkust-taco/superoop

  Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)

  Language:Scala10101

• chengluyu/typst-template

  Language:Typst420

• yihozhang/modified-sc-by-eval

  adaption of supercompilation-by-evaluation (https://github.com/batterseapower/supercompilation-by-evaluation) to update-to-date ghc

  Language:Haskell2200

• ElderEphemera/monoid-comprehensions

  An experimental GHC plugin for monoid comprehensions.

  Language:Haskell1300