overlogged

overlogged's Stars

• QSCTech/zju-icicles

  浙江大学课程攻略共享计划

  Language:HTML38.1k1.1k789.5k

• jhy/jsoup

  jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.

  Language:Java11.1k3931.5k2.2k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.8k1815.6k1.5k

• cs01/gdbgui

  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

  Language:TypeScript10k165329509

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1851.2k1.2k

• pandolia/qqbot

  QQBot: A conversation robot base on Tencent's SmartQQ

  Language:Python3.7k189355873

• scalanlp/breeze

  Breeze is/was a numerical processing library for Scala.

  Language:Scala3.5k205540690

• p-org/P

  The P programming language.

  Language:C#3.2k106264191

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#3k802.9k273

• ICT-BDA/EasyML

  Easy Machine Learning is a general-purpose dataflow-based system for easing the process of applying machine learning algorithms to real world tasks.

  Language:Java2k143116440

• solodon4/Mach7

  Functional programming style pattern-matching library for C++

  Language:C++1.3k655778

• qicosmos/iguana

  universal serialization engine

  Language:C++1.2k5297238

• jtransc/jtransc

  Bytecode to source converting Java & Kotlin code into JavaScript, C++, D, C#, PHP, AS3, Dart and Haxe and run it everywhere. Also use JVM code in your favourite language as a library.

  Language:Java6324017567

• observerss/ngender

  根据姓名来判断性别

  Language:Python611149164

• scalapy/scalapy

  Use the world of Python from the comfort of Scala!

  Language:Scala563227444

• boogie-org/boogie

  Boogie

  Language:Boogie53032278115

• epfl-lara/stainless

  Verification framework and tool for higher-order Scala programs

  Language:Scala3701871955

• cs01/pygdbmi

  A library to parse gdb mi output and interact with gdb subprocesses

  Language:Python228124247

• keathley/pointfree.io

  A web site for converting haskell code into pointfree haskell code

  Language:HTML1623207

• epfl-lara/leon

  The Leon system for verification, synthesis, repair

  Language:Scala161246244

• microsoft/vcc

  A static verifier for concurrent C programs

  Language:C#13513232

• epfl-lara/inox

  Solver for higher-order functional programs, used by Stainless

  Language:Scala90135921

• chpatrick/clang-pure

  Easy C++ code analysis with pure Haskell

  Language:Haskell3561420

• overlogged/steak

  A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.

  Language:C++30200

• awmleer/zju-library

  浙大图书馆app

  Language:TypeScript20283

• zju-lambda/slides

  slides of zju-lambda

  Language:HTML14600

• MichaelSuen-thePointer/mqLinq

  yet another linq implementation in C++

  Language:C++10201

• RayeRen/vue-recybook

  旧书回流前端页面

  Language:Vue6201

• examachine/drakon

  Partial C++ parser written in Haskell / Parsec

  Language:Haskell4201

• overlogged/sbt-stainless

  A sbt plugin for stainless users to verify code in sbt command line.

  Language:Scala2100