jaschdoc

jaschdoc's Stars

• lapce/lapce

  Lightning-fast and Powerful Code Editor written in Rust

  Language:Rust34.2k1861.9k1k

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust32.6k852.4k871

• gleam-lang/gleam

  ⭐️ A friendly language for building type-safe, scalable systems!

  Language:Rust17.4k871.8k721

• sonic-pi-net/sonic-pi

  Code. Music. Live.

  Language:C++10.7k2961.9k918

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.8k10310k638

• roc-lang/roc

  A fast, friendly, functional language.

  Language:Rust4.1k1132.6k288

• LuxLang/lux

  The Lux Programming Language

  Language:Emacs Lisp1.7k673550

• google-research/dex-lang

  Research language for array processing in the Haskell/ML family

  Language:Haskell1.6k57360107

• koka-lang/madoko

  Madoko is a fast markdown processor for high quality academic and technical articles

  Language:HTML393157242

• cs-au-dk/jelly

  JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis

  Language:TypeScript3166921

• jasmin-lang/jasmin

  Language for high-assurance and high-speed cryptography

  Language:Coq2491127452

• Sobuno/ZKBoo

  Language:C503024

• TroupeLang/Troupe

  Troupe programming language

  Language:TypeScript2131212

• cs-au-dk/NoRegrets

  Breaking change detector for npm

  Language:JavaScript20404

• cs-au-dk/goat

  Language:Go19423

• logsem/cerise

  Formalisation of a capability machine and principles for reasoning about security properties

  Language:Coq1713113

• dkales/banquet

  Banquet implementation

  Language:C++13503

• logsem/iris-lecture-notes

  Language:TeX114113

• kaspergl/ML22

  Language:Jupyter Notebook63019

• mlutze/fcwg

  Language:Shell61453

• jaschdoc/flix-parsers

  A simple parser combinator library for Flix

  41162

• JonathanStarup/Flix-ANSI-Terminal

  An API for ANSI terminal operations

  4131

• mlutze/flix-json

  A JSON parsing library in Flix

  31182

• anbclausen/preambles

  My custom LaTeX preambles for you to use!

  Language:TeX2101

• JonathanStarup/GUI

  GUI (MVC) library in Flix

  2100

• Aandsliv/aandsliv

  Website for åndsliv.dk

  Language:HTML1020

• aekvi/aekvi.com

  Language:HTML1000

• aekvi/mist-tools-rust

  Rust support for Mist Cloud

  Language:Rust12100

• anbclausen/optifuzz

  A tool for fuzzing random optimized C programs and detect side-channel vulnerabilities.

  Language:TeX1100

• dfaranha/dissy-e22-handins

  Language:Python1106