Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 20 Compiler Tex Open Source Projects

Open source projects categorized as Compiler Tex
Categories > Compilers > Compiler
Llsoftsecbook ⭐ 398
Low-Level Software Security for Compiler Developers
most recent commit 3 months ago
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit 2 years ago
Psl ⭐ 39
Portable Standard Lisp
most recent commit 3 years ago
Comp ⭐ 35
Disciplina de Compiladores (INF01147) - INF/UFRGS
most recent commit 5 months ago
Appunti Lfc ⭐ 27
Appunti di Linguaggi Formali e Compilatori - Prof.ssa P. Quaglia - Università di Trento
most recent commit 2 years ago
Real World Idris ⭐ 25
Malfunction backend for Idris with a FFI to OCaml
most recent commit 5 years ago
L42 ⭐ 22
L42 main project
most recent commit 3 months ago
Facturation_latex ⭐ 18
Facturation autoentrepreneur easy en LaTeX
most recent commit 6 years ago
Potato Cv ⭐ 18
Potato-CV is for programmer. It's brief and. emmm.... very potato. hahahha
most recent commit 4 years ago
Compilers Problem Set ⭐ 17
Problem Set for Course [email protected]
most recent commit 10 months ago
2017 Talk Teaching New Tricks To Old Programs ⭐ 16
Keynote talk for Lambda Jam 2017 in Sydney
most recent commit 6 years ago
Talk 2020 Calculating Compilers Categorically ⭐ 14
A talk
most recent commit 3 years ago
Metropolia Thesis Latex ⭐ 11
A LaTeX template that follows Metropolia's thesis guidelines.
most recent commit 2 years ago
Dice ⭐ 10
Java, but worse
most recent commit 7 years ago
Data Structure Inferrer ⭐ 9
A program that analyzes source code with a data-structure wildcard and suggests the right one.
most recent commit 10 years ago
Wascm ⭐ 6
most recent commit 4 years ago
System Fc Coq ⭐ 6
most recent commit 9 years ago
Latex Minimum Ja Template ⭐ 6
Japanese Minimum LaTeX Template for Overleaf
most recent commit 5 years ago
Resume ⭐ 5
📄 A LaTeX document for my resume.
most recent commit 3 years ago
Transpilation ⭐ 5
A summary of ideas about transpilation -- work in progress
most recent commit 10 months ago
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.