cionx

cionx's Stars

• typst/typst

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

  Language:Rust36.4k1022.8k981

• hemanth/functional-programming-jargon

  Jargon from the functional programming world in simple terms!

  18.6k356751k

• kanaka/mal

  mal - Make a Lisp

  Language:Assembly10.1k1851472.6k

• lervag/vimtex

  VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.

  Language:TeX5.6k372.5k395

• GothenburgBitFactory/taskwarrior

  Taskwarrior - Command line Task Management

  Language:C++4.6k582.8k321

• sarabander/sicp-pdf

  SICP PDF with Texinfo and LaTeX source

  Language:Perl4.3k18631545

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1291961.2k

• ocaml-community/awesome-ocaml

  A curated collection of awesome OCaml tools, frameworks, libraries and articles.

  2.8k12746168

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k120634360

• leanprover-community/mathlib

  Lean 3's obsolete mathematical components library: please use mathlib4

  Language:Lean1.7k52362297

• cormullion/juliamono

  repository for JuliaMono, a monospaced font with reasonable Unicode support.

  Language:CSS1.4k2520829

• jbyuki/venn.nvim

  Draw ASCII diagrams in Neovim

  Language:Lua99182622

• cs3110/textbook

  The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

  Language:OCaml7651478133

• stipub/stixfonts

  OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

  Language:Perl7433126241

• fifty-six/Scarab

  An installer for Hollow Knight mods written in Avalonia.

  Language:C#64313195169

• CatharsisFonts/Cormorant

  Cormorant open-source display font family

  Language:Python557326623

• clauseggers/Playfair

  Playfair is a general purpose Open Source typeface family

  Language:HTML534153633

• CatharsisFonts/Ysabeau

  Ysabeau: The essence of Garamond in an open-source sans-serif typeface

  Language:Python513224516

• psb1558/Junicode-font

  A new version of Junicode font

  Language:HTML4172822018

• cyrealtype/Lora-Cyrillic

  Lora fonts — serif family for text. Variable Open Source Font

  Language:Makefile415174234

• nomeata/incredible

  The Incredible Proof Machine

  Language:Haskell3622510136

• latex3/fontspec

  Font selection in LaTeX for XeTeX and LuaTeX

  Language:TeX2793147134

• azdavis/millet

  A language server for Standard ML.

  Language:Rust22085212

• googlefonts/science-gothic

  Science Gothic, a libre variable font

  Language:Python149103554

• YuanshengZhao/Garamond-Math

  An OTF math font matching the EB Garamond.

  Language:Python11122266

• ImperialCollegeLondon/formalising-mathematics-2023

  repository for material for Jan-Mar 2023 course on formalising mathematics

  Language:Lean495018

• madkous/math490

  An answer key to Emily Riehl's Category Theory in Context produced by Dr. Pardue's math 490 class at UMBC

  Language:TeX19025

• georgd/EB-Garamond-Initials

  Language:Python18561

• cionx/solutions-basic-category-theory-leinster

  Personal solutions to the exercises in Tom Leinster’s “Basic Category Theory”.

  Language:TeX6101

• cionx/sicp-pdf

  A personal variaton of the PDF version of SICP.

  Language:TeX110