MaximeKjaer

MaximeKjaer's Stars

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.4k4674.3k1.6k

• aws/aws-cdk

  The AWS Cloud Development Kit is a framework for defining cloud infrastructure in code

  Language:TypeScript11.7k22715k3.9k

• python-trio/trio

  Trio – a friendly Python library for async concurrency and I/O

  Language:Python6.2k81822344

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k2078.8k1.1k

• coursier/coursier

  Pure Scala Artifact Fetching

  Language:Scala2k571.1k310

• ronami/HypeScript

  🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system

  Language:TypeScript1.9k8323

• gpoore/minted

  minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

  Language:TeX1.8k20412128

• opsengine/cpulimit

  CPU usage limiter for Linux

  Language:C1.7k6980271

• scalameta/scalafmt

  Code formatter for Scala

  Language:Scala1.4k291.5k277

• dsherret/ts-ast-viewer

  TypeScript AST viewer.

  Language:TypeScript1.2k118785

• scalacenter/bloop

  Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

  Language:Scala90924734201

• caderek/benny

  A dead simple benchmarking framework for JS/TS libs

  Language:TypeScript75463315

• rougier/CPP-Crash-Course

  C++ Crash Course

  Language:C++720323126

• microsoft/TypeScript-New-Handbook

  Incubation repository for the new TypeScript handbook 🐣

  Language:TypeScript649332227

• drillan/jupyter-black

  Black formatter for Jupyter Notebook

  Language:JavaScript44452524

• scalameta/munit

  Scala testing library with actionable errors and extensible APIs

  Language:Scala4321415790

• stedolan/counterexamples

  Counterexamples in Type Systems

  Language:JavaScript374161224

• effekt-lang/effekt

  A language with lexical effect handlers and lightweight effect polymorphism

  Language:Scala3341129124

• composablesys/collabs

  Collabs library monorepo

  Language:TypeScript257715611

• abraham/pkg-ok

  👌 Checks paths and scripts defined in package.json before you publish

  Language:TypeScript23711012

• voorhoede/npm-style-guide

  Opinionated npm Style Guide​ for teams.

  91181011

• vincenzobaz/spark-scala3

  Language:Scala8982215

• travisbrown/sized

  Language:Scala35502

• propelml/tfjs-npy

  NumPy file parsing and serialization for TensorFlow.js

  Language:TypeScript33426

• jeremyrsmith/baudrillard

  Experiments with symbolic functions in the Scala type system

  Language:Scala27201

• lampepfl/dotty-knowledge

  A knowledge base of Dotty internals and all things related

  208371

• bwignall/typochecker

  A tool to help (semi-)automatically find typos.

  Language:Python94100

• fmeum/jekyll-mathjax-csp

  Server-side MathJax rendering for Jekyll with a strict CSP

  Language:Ruby3253

• gsps/l3-llvm-backend

  An experimental LLVM backend for L3

  Language:Rust3200

• mbovel/formal-verification-project

  CS550 Formal Verification Project, EPFL, Winter 2021-2022

  Language:SMT2100