aslanix

aslanix's Stars

• ryanoasis/nerd-fonts

  Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more

  Language:CSS54.8k3889963.6k

• rswier/c4

  C in four functions

  Language:C9.7k326331.4k

• libp2p/go-libp2p

  libp2p implementation in Go

  Language:Go6.1k1811.2k1.1k

• you-dont-need/You-Dont-Need-GUI

  Stop relying on GUI; CLI **ROCKS**

  5.5k5927234

• net4people/bbs

  Forum for discussing Internet censorship circumvention

  Language:Python3.4k27240082

• nuta/kerla

  A new operating system kernel with Linux binary compatibility written in Rust.

  Language:Rust3.4k396087

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k802k233

• flix/flix

  The Flix Programming Language

  Language:Scala2.2k243.6k154

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k7429358

• WebAssembly/proposals

  Tracking WebAssembly proposals

  1k2084958

• MLton/mlton

  The MLton repository

  Language:Standard ML95750178128

• Strilanc/Quirk

  A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.

  Language:JavaScript93747349158

• fmarotta/kaobook

  A LaTeX class for books, reports or theses based on https://github.com/kenohori/thesis and https://github.com/Tufte-LaTeX/tufte-latex.

  Language:TeX85123203183

• sec-deadlines/sec-deadlines.github.io

  Deadline countdowns for academic conferences in Security and Privacy

  Language:HTML6642013232

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang6132122635

• mirage/alcotest

  A lightweight and colourful test framework

  Language:OCaml4552412880

• bft-smart/library

  BFT-SMaRt's project home page

  Language:Java4403682207

• haskell/alex

  A lexical analyser generator for Haskell

  Language:Haskell2971310682

• kevinlin1/just-the-class

  A modern, highly customizable, responsive Jekyll template for course websites.

  Language:SCSS284612108

• dodona-edu/dolos

  :detective: Source code plagiarism detection

  Language:TypeScript261626932

• protocol/research

  Research at Protocol Labs

  2231374018

• andrewcmyers/constrain

  Responsive, animated figures in JavaScript/HTML canvases

  Language:JavaScript1286462

• vteague/contactTracing

  Examination of security and privacy implications of automated contact tracing

  9918815

• WillSewell/gc-latency-experiment

  Exploring some worst-case latencies in GCs, inspired by a post on GHC's runtime pause times: https://making.pusher.com/latency-working-set-ghc-gc-pick-two/

  Language:Makefile556812

• TroupeLang/Troupe

  Troupe programming language

  Language:TypeScript2131213

• MathiasVP/ni-formal-gc

  Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.

  Language:Coq9404

• simongregersen/DepSec

  A library for static information-flow control in Idris

  Language:Idris9100

• MathiasVP/lattice

  A Coq formalization of (bounded) lattices

  Language:Coq4511

• achudnov/jest

  A research prototype of an information-flow monitor inliner for JavaScript

  Language:JavaScript2210

• Crowton/DynamicNoninterference

  Language:Coq2411