sourcereviver Goto Github PK

7gui

the 7 gui project

7guis-html-css-js

a-tour-of-standard-ml

A Tour of Standard ML (in the style of A Tour of Go)

adventofcode2021

https://adventofcode.com/2021

annotated_latex_equations

Examples of how to create colorful, annotated equations in Latex using Tikz.

civetweb_qt_demo

dissertation

My PhD Thesis

docktime

A clock for the Macs Dock

ebproof

[A repo mirror as allowed by the LICENSE] A LaTeX package to typeset formal proofs in the style of sequent calculus.

ece459

ECE 459: Programming for Performance

fish-shell

The user-friendly command line shell.

hammerspoon-kuranado

Hammerspoon 配置

jaro

a highly customizable xdg-open alternative

klatexformula

Generate images from LaTeX equations that you can drag and drop, copy and paste or save to disk.

l1

A simple Lisp written in Go

lambda

A small λ-calculus interpreter in C

learn-you-a-haskell

“Learn You a Haskell for Great Good!” by Miran Lipovača

macos

The project source code for Hacking with macOS.

mathador

a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)

mongoose_qt_demo

mupdf-qt

基于MuPDF开发的简易PDF阅读器

ocaml-monad

A starter library for monads in Ocaml.

project-euler-rs

Solutions for Project Euler in Rust.

qpdfview

Exported from https://code.launchpad.net/qpdfview at May 2022

qstring_fmt_bench

qt_gesture_tester

Testing Qt's built-int gestures

qt_scroll_bar_toolabr_bug

qt_wayland_globalshortcut_via_portal

Qt demo of using org.freedesktop.portal.GlobalShortcuts

qtfileexplorer

Qt quick image visualisation with miller columns

qtwebengine_bg_not_work