Compsci Library 📚 – Telegram

Compsci Library 📚

@compsciresources

233 subscribers

13 photos

86 files

434 links

Resource about my compsci study, random topic related mostly about system, compiler and programing language.

Download Telegram

About

Blog

Apps

Platform

Compsci Library 📚

233 subscribers

Compsci Library 📚

Forwarded from Muqiu Han

yeah i just started learning coq...with software foundations

https://softwarefoundations.cis.upenn.edu/

60 views04:34

Compsci Library 📚

https://blog.sunfishcode.online/no-ghosts/

sunfishcode's blog

A blog by sunfishcode

57 views13:10

Compsci Library 📚

https://gist.github.com/zehnpaard/124a9c6df632839d01b4fede8684ddd8

OCaml template for menhir/ocamllex/dune indentation-aware parser

OCaml template for menhir/ocamllex/dune indentation-aware parser - dune

55 views08:56

Compsci Library 📚

https://github.com/arbipher/llvm-ocaml-tutorial

GitHub - arbipher/llvm-ocaml-tutorial: The LLVM tutorial using OCaml

The LLVM tutorial using OCaml. Contribute to arbipher/llvm-ocaml-tutorial development by creating an account on GitHub.

55 views01:45

Compsci Library 📚

https://releases.llvm.org/8.0.0/docs/tutorial/index.html

55 views01:46

Compsci Library 📚

https://github.com/banach-space/llvm-tutor

GitHub - banach-space/llvm-tutor: A collection of out-of-tree LLVM passes for teaching and learning

A collection of out-of-tree LLVM passes for teaching and learning - banach-space/llvm-tutor

55 views00:29

Compsci Library 📚

https://www.kharghoshal.xyz/blog/writing-machinefunctionpass

www.kharghoshal.xyz

Radhika Ghosal | Writing a MachineFunctionPass in LLVM

Log files of a fledgling maker

56 views00:33

Compsci Library 📚

PLAI Version 3.2.0 electronic.pdf

Emailing PLAI Version 3.2.0 electronic.pdf

59 views00:04

Compsci Library 📚

https://www.plai.org/

56 views00:04

Compsci Library 📚

https://raw.githubusercontent.com/mukul-rathi/bolt-dissertation/master/dissertation.pdf

56 views12:41

Compsci Library 📚

https://thevaluable.dev/type-system-software-explained-example/

The Valuable Dev

Type Systems in Software Explained With Examples

Type systems are core components of programming languages. What really means the rich vocabulary around type systems? Is there a better one which rules them all?

62 views13:55

Compsci Library 📚

https://en.wikipedia.org/wiki/Abstract_machine

Abstract machine

theoretical model of a computer hardware or software system used in automata theory

65 views05:13

Compsci Library 📚

https://www.mog.dog/files/SP2019/Sipser_Introduction.to.the.Theory.of.Computation.3E.pdf

68 views05:26

Compsci Library 📚

https://simon.peytonjones.org/assets/pdfs/haskell-exchange-22.pdf

64 views02:59

Compsci Library 📚

https://lowlevelbits.org/how-to-learn-compilers-llvm-edition/

lowlevelbits.org

How to learn compilers: LLVM Edition

A collection of resources to start learning compilers (with a focus on LLVM)

64 views03:34

Compsci Library 📚

https://www.compileralchemy.com/books/sqlite-internals/

Compileralchemy

SQLite Internals: How The World's Most Used Database Works

Python, Freelancing, Career & OpenSource

62 views02:12

Compsci Library 📚

Forwarded from epic links / resources (kλletaa)

Linear Haskell: practical linearity in a higher-order polymorphic language

https://arxiv.org/abs/1710.09756

63 views03:11

Compsci Library 📚

https://borretti.me/article/parsing-menhir-forth

Fernando Borretti

Parsing with Menhir, Part I: Forth

A tutorial on parsing Forth with Menhir.

103 views03:42

Compsci Library 📚

One Parser to Rule Them All
Ali Afroozeh & Anastasia Izmaylova

67 viewsedited 04:22

Compsci Library 📚

Forwarded from Deleted Account

For_Dummies_John_Paul_Mueller_Functional_Programming_for_Dummies.pdf

80 views12:28