Skip to content
View ekim1919's full-sized avatar

Organizations

@Tarheel-Formal-Methods

Block or report ekim1919

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A declarative Unix terminal UI library written in Haskell

Haskell 1,624 165 Updated Mar 4, 2025

Effortlessly create quantum circuit diagrams in Typst.

Typst 60 3 Updated Feb 20, 2025

Awesome Typst Links

Emacs Lisp 2,554 131 Updated Jan 30, 2025

A Typst template for "Tufte" style handouts with side notes

Shell 18 2 Updated Jun 30, 2023

A W.I.P desktop application for a new typesetting language, typst.

Rust 646 21 Updated Mar 17, 2024

Emacs support for Typst.

Emacs Lisp 63 8 Updated Sep 25, 2023

Python binding to typst

Rust 154 12 Updated Mar 1, 2025

Interact with your documents using the power of GPT, 100% privately, no data leaks

Python 55,365 7,419 Updated Nov 13, 2024

physica: vectors, fields, differentials, derivatives, Dirac brakets, tensors, and more. See examples in the manual PDF.

Typst 407 16 Updated Mar 6, 2025

An implementation of numbered theorem environments in typst

Typst 234 13 Updated Oct 23, 2024

Homework Template for Typst

8 Updated Apr 5, 2023

General Purpose 8 Qubit Optical Quantum Computer

Python 89 20 Updated May 2, 2022

Bicategories of automata, completeness of F-automata in monoidal categories, adjoints between (semi)bicategories; https://arxiv.org/pdf/2303.03867, https://arxiv.org/pdf/2303.03865, https://arxiv.o…

Agda 17 1 Updated May 29, 2024

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

Rust 38,111 1,040 Updated Mar 6, 2025

Somewhat hacky script to automate building of Emac.app on macOS.

Go 516 54 Updated Dec 11, 2024

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

TeX 1,216 108 Updated Oct 6, 2024

NCAlgebra - Non Commutative Algebra Package for Mathematica

Mercury 163 26 Updated Nov 4, 2023

LaTeX code for some of my lecture notes

TeX 266 32 Updated Mar 19, 2022

a basic wiki clone so pretty and easy to set up, you’ll wonder if it’s really a wiki.

JavaScript 504 110 Updated Dec 10, 2024

A growing, online "textbook" for music theory and aural skills

LilyPond 354 164 Updated Jul 10, 2024

A textbook on informal homotopy type theory

TeX 2,059 361 Updated Mar 5, 2025

🤗 Diffusers: State-of-the-art diffusion models for image, video, and audio generation in PyTorch and FLAX.

Python 27,846 5,735 Updated Mar 6, 2025

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Agda 245 42 Updated Feb 26, 2025

Create beautiful diagrams just by typing notation in plain text.

TypeScript 7,657 350 Updated Feb 25, 2025

📝 A nicely formatted LaTeX preprint template

TeX 561 75 Updated Jul 7, 2023

Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.

OpenQASM 3,043 746 Updated Aug 19, 2023

The Incredible Proof Machine

Haskell 369 37 Updated Mar 2, 2025

Cryptol: The Language of Cryptography

Haskell 1,146 123 Updated Mar 4, 2025
Next
Showing results