Skip to content
View fmoralesc's full-sized avatar

Organizations

@vim-pandoc

Block or report fmoralesc

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

shiroa is a simple tool for creating modern online books in pure typst.

Rust 404 19 Updated Mar 21, 2025

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

Rust 38,540 1,055 Updated Mar 18, 2025

Awesome Typst Links

Emacs Lisp 2,604 132 Updated Jan 30, 2025

Book typesetting system written in Java.

Java 29 1 Updated Jan 4, 2024

Typst Package to typeset inference rule

Typst 34 3 Updated Feb 20, 2025

LanguageTool Integration for Typst for spell and grammer check

Rust 47 12 Updated Mar 13, 2025

Typst package for drawing diagrams with arrows, built on top of CeTZ.

Typst 559 14 Updated Mar 16, 2025

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Typst 1,147 49 Updated Mar 21, 2025

Some common drafting utilities for the `typst` document typesetter

Typst 76 7 Updated Mar 15, 2025

Synthesizing Graphics Programs for Scientific Figures and Sketches with TikZ

Python 693 25 Updated Mar 19, 2025

A LaTeX template for academic monographs (e.g., dissertations and thesis). This template serves both beginners and proficient LaTeX users.

TeX 843 143 Updated Mar 18, 2025

freetar - an alternative frontend to ultimate-guitar.com

HTML 665 34 Updated Mar 10, 2025

A simple, elegant LaTeX template with dark mode support

TeX 52 4 Updated Nov 5, 2023

Source for textbook https://github.com/jweisber/vip

TeX 39 8 Updated Mar 16, 2023

A light markup language

Emacs Lisp 1,770 50 Updated Feb 14, 2025

An open-source, customizable intermediate logic textbook

TeX 1,129 248 Updated Mar 2, 2025

A port of ruby's Enumerable module to Lua

Lua 44 2 Updated Oct 3, 2012

Materials for the introduction to topic modeling course, Vienna, 2022

Jupyter Notebook 3 1 Updated Oct 9, 2022

Hibiki HTML

TypeScript 470 6 Updated Oct 2, 2022

A curated list of awesome warez and piracy links

HTML 24,631 2,130 Updated Jun 18, 2023

borb is a library for reading, creating and manipulating PDF files in python.

Python 3,457 148 Updated Dec 1, 2024

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

161,335 10,146 Updated Nov 19, 2024

Downloads and splits audio tracks from a YouTube video according to the chapters/tracks. Useful for compilations or full album uploads.

Dart 79 10 Updated Sep 24, 2022

Tree Proof Generator

JavaScript 164 20 Updated Feb 28, 2025

✨😂 2000+ ways to add design flair, user delight, and whimsy to your product.

9,490 337 Updated Mar 19, 2025
Lean 14 2 Updated Jan 4, 2021

Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

Python 2,846 965 Updated Mar 23, 2025

A Henkin-style completeness proof for the modal logic S5

Lean 16 1 Updated Jun 20, 2021

A replayable arcade shooter with a focus on build theorycrafting.

Lua 1,439 93 Updated Oct 17, 2020

An unofficial userspace driver for HID++ Logitech devices

C++ 3,581 272 Updated Sep 28, 2024
Next
Showing results