DireLines

DireLines's Stars

• n0spaces/MorshuTalk

  Morshu text-to-speech

  Language:Python1818

• charlesreiss/hclrs

  educational hardware description language implementation

  Language:Rust54

• odin-lang/Odin

  Odin Programming Language

  Language:Odin6.6k581

• FlopMongers/Gunfish

  Language:C#2

• mciucu/stemjs

  Another javascript framework

  Language:JavaScript433

• plasma-umass/scalene

  Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals

  Language:Python11.6k387

• BurntSushi/quickcheck

  Automated property based testing for Rust (with shrinking).

  Language:Rust2.4k148

• lark-parser/lark

  Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

  Language:Python4.8k408

• rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust17.8k1.6k

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k217

• itsfrank/MinecraftHDL

  A Verilog synthesis flow for Minecraft redstone circuits

  Language:SystemVerilog1.1k24

• UVASGD/spring-2018-dusthopper

  spring-2018-dusthopper created by GitHub Classroom

  Language:C#3

• SnoopyDevelops/hand_drawn_flowchart_recognition

  Language:Python251

• xonsh/xonsh

  :shell: Python-powered shell. Full-featured and cross-platform.

  Language:Python8.3k637

• WyotJunctor/I-Spy

  a bunch of floating objects in space and you are there too

  Language:C#1

• cjekel/piecewise_linear_fit_py

  fit piecewise linear data for a specified number of line segments

  Language:Python30060

• max7patek/metaprogramming

  CS 1501 Student-Taught-Class at the University of Virginia

  Language:Python4510