#

noweb

Here are 31 public repositories matching this topic...

yurrriq / real_world_machine_learning

📖 Real-World Machine Learning

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

Updated Jul 3, 2017
TeX

brandonwillard / vim-noweb

Vim plugin providing noweb features.

neovim vim-plugin noweb

Updated Sep 19, 2017
Vim Script

yurrriq / abstract-algebra-in-gap

📖 Abstract Algebra in GAP

nix latex gap literate-programming abstract-algebra noweb learning-by-book

Updated Oct 11, 2017
GAP

brandonwillard / pynoweb_tools

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

yurrriq / tyme2invoice

Generate pretty invoices from Tyme 2 logs.

haskell invoicing literate-programming time-tracker tyme noweb

Updated Nov 2, 2017
Haskell

yurrriq / lp

📖 💻 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 / land-of-lisp

📖 Land of Lisp

latex common-lisp literate-programming noweb

Updated Dec 15, 2017
TeX

yurrriq / lispy

📖 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

yitzchak / metys

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

salotz / pbs_templates

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 / aoc18

Advent of Code 2018

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

Updated Dec 15, 2018
Haskell

yurrriq / iweb

Maybe eventually a spiritual port of noweb to Idris.

idris literate-programming noweb

Updated Jan 15, 2019

mftrhu / noweb-rs

An implementation of the noweb literate programming tool in the Rust language

rust literate-programming noweb

Updated Feb 9, 2019
Rust

yurrriq / knrc

📖 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

j-angnoe / code-walkthrough-compiler

Extract a working program from code walkthrough-like documentation (Literate Programming in Markdown)

markdown programming noweb literate

Updated May 18, 2019
JavaScript

archaic-magnon / Rambling-Through-woods

Creating noweb document with sml code for tree recovery

tree latex sml noweb smlnj

Updated Dec 3, 2019
TeX

thecapedcrusaderr / Recovering-a-Binary-tree-from-its-inorder-traversal

It contains file that takes a binary tree as input and then find its inorder traversal, while finding its inordrer traversal it extracts minimal extra information like in this case height of every node. Through this inordrer traversal and information it recovers the original binary tree.

Updated Feb 11, 2020

yurrriq / noweb-minted

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

nilax97 / ILFP-Assignments

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 / naal

Non-interactive AWS Azure Login

aws automation nix literate-programming pass xelatex expect direnv azure-ad noweb tufte-latex federated-authentication lorri

Updated Jun 6, 2021
Nix

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."