Zeta611

polycalc

🧮 Polynomial Calculator

inventing-monads

🧙🏻‍♂️ 모나드 발명하기 세미나 자료

awesome-korean-translations

우리말로 된 컴퓨터 과학 및 공학 분야의 번역들입니다.

DeTeXtive

L

🕳️ Prospect analysis

emacs-config

My Emacs configuration file

lamb

🐑f.(🐑x.f(x x))(🐑x.f(x x))

fun-king-functors

Playing around with OCaml functors

fun-king-proxy

This is a fun-king proxy server! So much fun!

modern-tex-engines-automation-ai-latex-workshop-2023

“The Last Workshop” 공주대학교 문서작성 워크숍 2023 발표 자료

123

🔢 Programming Language Semantics: It's Easy As 1,2,3 by Graham Hutton

definitional-interpreters

≝ Definitional Interpreters for Higher-Order Programming Languages by John C. Reynolds

exception-doc

exception-playground

floating-fun

news-classifier

reanalyze-ropas

ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU

rs

bitPublish

Quarto extension for a template to publish a PDF book with LaTeX styling.

dune

A composable build system for OCaml.

fine-tune-easyword

hubo

Materials for the introductory programming course CS101

papago-cli

ppx_optcomp

Optional compilation for OCaml

react-hooks

reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

sample_webserver

tectonic-demo

the-architecture

URLQueryEncoder

URL query encoder with support for all OpenAPI serialization options