Beast code in Giters

With this tool, you can use your Surface Pen top button as a clicker replacement to control PowerPoint presentations. Outside a PowerPoint full screen presentation, the tool is inactive and the Surface Pen behaves just as without the tool started.

Language:AutoHotkey1700

byrne-euclid

MetaPost + TeX rendition of Oliver Byrne's "The first six books of the Elements of Euclid"

Language:TeXGPL-3.0116900

storm

A Modern Probabilistic Model Checker

Language:C++GPL-3.012800

prism-benchmarks

The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking.

Language:Raku1000

KaTeX

Fast math typesetting for the web.

Language:JavaScriptMIT1804900

jekyll-katex

[DEPRECATED] Jekyll plugin for easy server-side math rendering via KaTeX

Language:RubyMIT9600

fuzzingbook

Project page for "The Fuzzing Book"

Language:Jupyter NotebookNOASSERTION105500

haskell-for-readers

Lecture notes for teaching Haskell to those who want to read it

Language:HaskellCC-BY-4.05500

pandoc

Universal markup converter

Language:HaskellNOASSERTION3341100

thesis

Syntaxes with Binding, Their Programs, and Proofs

Language:Makefile2300

microsat

Language:CMIT12900

nominal-lstar

Code for "Learning nominal automata"

Language:Haskell1100

rascal

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

Language:JavaNOASSERTION39800

name

nominal sets in haskell

Language:HaskellNOASSERTION2000

deq

A tool for deciding language equivalence of deterministic register automata

Language:Haskell200

sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

Language:HaskellNOASSERTION4400

---

قلب: لغة برمجة

Language:JavaScriptMIT75500

elm-format

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Language:HaskellBSD-3-Clause100

tikzcd-editor

A simple visual editor for creating commutative diagrams.

Language:JavaScriptMIT186700

texstudio

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

Language:C++GPL-3.0270300

MeMin

SAT-based exact minimization of incompletely specified Mealy machines

Language:C++AGPL-3.0600

context-mirror

Mirror of ConTeXt beta source code

Language:LuaNOASSERTION5700

Jaxan

Joshua Moerman's starred repositories

mopidy

mopidy-musicbox-webclient

oink

z3

infer

kat

v93

dafny

Surface-Pen-PowerPoint-Clicker