proglang/FunctionalProgramming external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

proglang/FunctionalProgramming

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/proglang/FunctionalProgramming)

Close

proglang / FunctionalProgrammingView on GitHubMore

• External links
• Readme badge

Support repository for the functional programming lecture (Haskell)

☆17Jul 27, 2025Updated 7 months ago

Alternatives and similar repositories for FunctionalProgramming

Users that are interested in FunctionalProgramming are comparing it to the libraries listed below

• ucsd-cse131-sp17 / lectures

  View on GitHub
  Lecture notes and code from class
  ☆16Jun 12, 2017Updated 8 years ago
• Booob / P523

  View on GitHub
  P523 Code
  ☆30Jan 21, 2015Updated 11 years ago
• cucapra / lambdalab

  View on GitHub
  interactive λ-calculus for learning
  ☆37Jun 1, 2019Updated 6 years ago
• CloudBrigade / cloudbrigade-deepblaster

  View on GitHub
  ☆10Apr 27, 2021Updated 4 years ago
• vahidzee / dypy

  View on GitHub
  Toolkit for Dynamic Python code manipulations
  ☆11Oct 19, 2024Updated last year
• NHERI-SimCenter / SimCenterBootcamp2022

  View on GitHub
  ☆13Jul 22, 2022Updated 3 years ago
• Eniac-Xie / FuseTeacher

  View on GitHub
  ☆12Nov 26, 2024Updated last year
• Saffron-sh / m2m

  View on GitHub
  A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.
  ☆22Jan 11, 2026Updated last month
• ShichenLiu / C-compiler

  View on GitHub
  C to LLVM / Python compiler
  ☆10Jan 17, 2017Updated 9 years ago
• CIS1900 / 2022-fall

  View on GitHub
  ☆13Sep 5, 2024Updated last year
• eventhelix / open-lte

  View on GitHub
  An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)
  ☆10Mar 7, 2017Updated 8 years ago
• paccionesawyer / Create3_ROS2_Intro

  View on GitHub
  A step-by-step introduction to ROS2 on the Create3.
  ☆10May 20, 2022Updated 3 years ago
• vijay03 / cs380d-f23

  View on GitHub
  CS 380D Distributed Systems at UT Austin with Vijay Chidambaram
  ☆12Oct 19, 2023Updated 2 years ago
• jar3m / c_data_structures

  View on GitHub
  A generic data structures and algorithms library using C
  ☆12Nov 13, 2022Updated 3 years ago
• angrave / CS341-Lectures-SP24

  View on GitHub
  CS341 for Spring 2024
  ☆11Jul 15, 2024Updated last year
• TUM-DSE / sys-lab

  View on GitHub
  Computer Systems Lab
  ☆11Oct 16, 2025Updated 4 months ago
• aaronang / tiger

  View on GitHub
  Solutions to Modern Compiler Implementation in ML 🐯
  ☆10May 24, 2017Updated 8 years ago
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆10Jan 18, 2024Updated 2 years ago
• loongson / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆11Mar 21, 2023Updated 2 years ago
• Parrot-Developers / groundsdk-manifest

  View on GitHub
  This is the global manifest for Parrot Ground SDK.
  ☆11Jun 6, 2023Updated 2 years ago
• ivanmurashko / lectures

  View on GitHub
  My own lectures on quantum optics and quantum computations (in Russian)
  ☆13Dec 10, 2024Updated last year
• kolya-vasiliev / logical-foundations-2018

  View on GitHub
  My solutions to exercises in "Logical Foundations" (2018-2019)
  ☆11Apr 11, 2019Updated 6 years ago
• adasegroup / ML2023_lectures

  View on GitHub
  Repository containing lectures from 2023 Machine Learning course
  ☆11Mar 14, 2023Updated 2 years ago
• jbdoderlein / BetterOCaml

  View on GitHub
  A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…
  ☆43Mar 27, 2025Updated 11 months ago
• abersheeran / clash-to-v2rayN

  View on GitHub
  转换 Clash 订阅格式到 v2rayN 订阅格式
  ☆11Oct 11, 2024Updated last year
• hankshyu / Digital-Design

  View on GitHub
  Hardware Description Language on FPGA
  ☆10Sep 18, 2023Updated 2 years ago
• ImperialCollegeLondon / grad_school_git_course

  View on GitHub
  Using Git to Code, Collaborate and Share
  ☆14Oct 9, 2024Updated last year
• aldo-g / obsidian-llm-test

  View on GitHub
  ☆12Jan 14, 2026Updated last month
• maxwells-daemons / caltech-cs11-tensorflow

  View on GitHub
  Repository for a TensorFlow class I taught at Caltech.
  ☆14Jan 9, 2020Updated 6 years ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• ocamllabs / focs-notebooks

  View on GitHub
  Foundations of Computer Science notebooks
  ☆17Oct 13, 2025Updated 4 months ago
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago
• vmactions / shell-freebsd

  View on GitHub
  Get a free freebsd shell
  ☆13Nov 8, 2025Updated 3 months ago
• ytxgou988 / Crawler_Job

  View on GitHub
  爬取北邮人以及水木清华论坛的招聘信息
  ☆10Aug 25, 2013Updated 12 years ago
• johnwhitington / cpdflib-source

  View on GitHub
  ☆14Dec 31, 2025Updated 2 months ago
• Triang-jyed-driung / Analyse-Mathematique-Yu-Pin-Analysis-123

  View on GitHub
  Mathematical Analysis (et analyse fonctionnelle)
  ☆14Feb 1, 2022Updated 4 years ago
• nachovizzo / dotfiles

  View on GitHub
  My personal dotifles
  ☆12Sep 20, 2025Updated 5 months ago
• YJDoc2 / pcb-rs-examples

  View on GitHub
  Repository containing examples of usage of pcb-rs
  ☆10Apr 8, 2022Updated 3 years ago
• hanazuki / miniml

  View on GitHub
  Tiny ML interpreter
  ☆16Feb 16, 2014Updated 12 years ago