noweb

Star

Here are 26 public repositories matching this topic...

nrnrnr / noweb

Star

The noweb tool for literate programming

literate-programming noweb

Updated Jun 26, 2022
TeX

yurrriq / dotfiles

Star

My (semi-)literate dotfiles for Nix, Emacs, fish, etc, managed with home-manager and GNU Stow

git dotfiles emacs nixos gnupg fish-shell xmonad literate-programming nixpkgs rebar3 starship kitty noweb home-manager literate-configuration cachix nix-flakes

Updated Sep 1, 2022
Nix

yurrriq / advent-of-code

Star

Semi-literate polyglot solutions to Advent of Code problems.

haskell nix advent-of-code-2016 idris gap literate-programming xelatex advent-of-code-2015 lfe noweb tufte-latex advent-of-code-2017 picat advent-of-code-2018 advent-of-code-2019 advent-of-code-2020 advent-of-code-2021

Updated Dec 29, 2021
Haskell

yurrriq / knrc

Star

📖 In which I work through exercises in "The C Programming Language" by Brian W. Kernighan and Dennis M. Ritchie

c literate-programming c-programming noweb learning-by-book

Updated Apr 20, 2019
C

yurrriq / real_world_machine_learning

Star

📖 Real-World Machine Learning

python learning machine-learning nix latex reading idris literate-programming noweb

Updated Jul 3, 2017
TeX

yurrriq / land-of-lisp

Star

📖 Land of Lisp

latex common-lisp literate-programming noweb

Updated Dec 15, 2017
TeX

salotz / pbs_templates

Star

PBS submission script template with org-mode noweb script generator.

bash job-scheduler literate-programming org-mode job-submission pbs noweb

Updated Nov 20, 2018
Shell

yurrriq / iweb

Star

Maybe eventually a spiritual port of noweb to Idris.

idris literate-programming noweb

Updated Jan 15, 2019

nilax97 / ILFP-Assignments

Star

Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi

lambda-calculus prolog standard-ml binary-trees noweb iit-delhi karatsuba-multiplication sml-nj ridoku

Updated Nov 30, 2020
TeX

yurrriq / lispy

Star

📖 Working through http://buildyourownlisp.com

c lisp literate-programming learning-by-doing noweb plt learning-by-book programming-language-development

Updated Jul 14, 2018
C

dbosk / makefiles

Star

Generic makefiles for handling course material, research publications and program compilation

haskell framework latex makefile build-automation noweb generic-makefiles

Updated Mar 24, 2022
Makefile

yurrriq / ComiCal

Star

Track the publish dates of your favorite comics

haskell nix calendar comics literate-programming monad-transformers noweb github-actions

Updated Sep 15, 2022
Haskell

yurrriq / noweb-minted

Star

A simple filter for pretty printing noweb code chunks using the minted LaTeX package

latex literate-programming minted noweb pretty-printing

Updated Feb 24, 2020
Shell

yurrriq / lp

Star

📖

💻 Literate programming ☔ repo

haskell erlang common-lisp artificial-intelligence idris gap literate-programming learning-by-doing abstract-algebra noweb

Updated Nov 5, 2017
Common Lisp

yurrriq / aoc18

Star

Advent of Code 2018

haskell nix latexmk make literate-programming sed xelatex noweb advent-of-code-2018

Updated Dec 15, 2018
Haskell

greysome / 2d-transform

Star

A small literate program for visualising R^2 -> R^2 functions

c latex cairo literate-programming noweb

Updated Jun 20, 2021
TeX

brandonwillard / vim-noweb

Sponsor

Star

Vim plugin providing noweb features.

neovim vim-plugin noweb

Updated Sep 19, 2017
Vim Script

brandonwillard / pynoweb_tools

Sponsor

Star

Custom extensions and helper functions for processing noweb files with Pweave and Pandoc.

latex neovim pandoc literate-programming noweb pweave

Updated Oct 27, 2017
Python

yitzchak / metys

Sponsor

Star

Multi-kernel/Multi-session Jupyter scientific report generator and literate programming tool.

markdown latex reproducible-research jupyter-kernels literate-programming noweb

Updated Nov 7, 2018
Python

yurrriq / eunix

Star

Rewriting UNIX tools for my own edification

c learning unix latex literate-programming coreutils noweb

Updated Sep 26, 2021
Emacs Lisp

Improve this page

Add a description, image, and links to the noweb topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the noweb topic, visit your repo's landing page and select "manage topics."

Learn more