kavon

kavon's Stars

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.1k3704.7k4.7k

• nushell/nushell

  A new type of shell

  Language:Rust31.1k1865.5k1.6k

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++13.8k108859454

• cplusplus/draft

  C++ standards drafts

  Language:TeX5.6k4082.9k739

• mthom/scryer-prolog

  A modern Prolog implementation written mostly in Rust.

  Language:Rust2k551.6k116

• willcrichton/flowistry

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

  Language:Rust1.9k157342

• jzimmerman/langcc

  langcc: A Next-Generation Compiler Compiler

  Language:C++1.7k243660

• apple/swift-book

  The Swift Programming Language book

  Language:Markdown1.7k122141157

• evincarofautumn/kitten

  A statically typed concatenative systems programming language.

  Language:Haskell1.1k7115739

• doldecomp/melee

  A decompilation of Super Smash Bros Melee brought to you by a bunch of clever folks.

  Language:Assembly641276865

• google/autofdo

  AutoFDO

  Language:C++49830104111

• facebookincubator/retrie

  Retrie is a powerful, easy-to-use codemodding tool for Haskell.

  Language:Haskell496253930

• MPLLang/mpl

  The MaPLe compiler for efficient and scalable parallel functional programming

  Language:Standard ML314247218

• STREGAsGate/GateEngine

  Swift Game Engine supporting Windows, Linux, macOS, HTML5, and more 🚂

  Language:Swift2856347

• wilbowma/cur

  A less devious proof assistant

  Language:Racket2201810518

• azdavis/millet

  A language server for Standard ML.

  Language:Rust20084912

• smlnj/smlnj

  Standard ML of New Jersey

  Language:Standard ML1741427713

• ranjitjhala/sprite-lang

  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

  Language:Haskell1359512

• daneden/Twift

  🐦 An async Swift library for the Twitter v2 API 🚧 WIP

  Language:Swift11063624

• sweirich/lambda-n-ways

  Benchmarks for capture-avoiding substitution

  Language:HTML106526

• rui314/psabi

  53404

• HerveFrezza-Buet/RLlib

  C++ library for reinforcement learning

  Language:HTML5010112

• explorable-viz/fluid

  Data-linked visualisations

  Language:PureScript3293972

• mcnuttandrew/cssql

  "Esoteric" "Programming" "Language" compiler for converting SQL to CSS

  Language:Haskell26222

• kongzii/SwiftXGBoost

  Swift wrapper for XGBoost gradient boosting machine learning framework with Numpy and TensorFlow support.

  Language:Swift24330

• wdouglass/s7

  This is a small mirror of s7 scheme, the official distribution is here:

  Language:HTML17205

• ProjectSavanna/autoformat

  Standard ML autoformatter

  Language:Standard ML15470

• Copilot-Language/copilot-verifier

  System for verifying the correctness of generated Copilot programs

  Language:Haskell149231

• brianhempel/maniposynth

  Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.

  Language:OCaml840

• JohnReppy/gspec

  Tool for translating plain-text programming-language syntax specifications into LaTeX or HTML

  Language:Standard ML2100