Alternatives and similar repositories for FundiesCollab

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

• blerner / bottlenose
  CS assignment / grade mangement system
  ☆4Updated 8 months ago
• VandyHacks / the-squirrel-from-VandyHacks
  The VandyHacks Discord Bot.
  ☆6Updated 3 years ago
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 5 months ago
• sandboxnu / office-hours
  Webapp to streamline office hours at Northeastern.
  ☆32Updated last year
• jbman223 / EarlyAP
  Proxy specifically available for AP scores to enable simple early access to your scores without any storing of your College Board account…
  ☆108Updated 2 years ago
• aadibajpai / hustler
  The Vanderbilt Hustler: Classic Edition
  ☆8Updated 3 years ago
• nareha / nareh
  👋 get to know me through my personal website!
  ☆10Updated last year
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• uclaacm / uclaacm-rustlings
  Learning Rust in 6 weeks with ACM @ UCLA!
  ☆10Updated 3 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated 10 months ago
• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated 6 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆462Updated 4 years ago
• willghatch / racket-rash
  The Reckless Racket Shell
  ☆558Updated last year
• aadibajpai / university
  proof of concept to detect website visits from a university
  ☆16Updated 4 years ago
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 3 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆164Updated 2 years ago
• alexanderwasey / stupid-computer
  A understandable Haskell tracer.
  ☆14Updated 3 years ago
• jackson13info / mla13
  A LaTeX MLA style formatter package that allows users to create MLA style documents easily.
  ☆75Updated 7 years ago
• felko / neuron-mode
  An emacs mode for editing Zettelkasten notes with neuron
  ☆118Updated 2 years ago
• hyperschedule / hyperschedule
  🌮 Webapp for scheduling Claremont Colleges courses quickly.
  ☆62Updated last month
• lsmor / snake-fury
  a challenge for Haskell beginners
  ☆454Updated last year
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆293Updated this week
• CodeGrade / bottlenose
  CS assignment / grade mangement system
  ☆43Updated 6 months ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆473Updated last year
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated last week
• rocq-community / coq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆522Updated last week
• a-schaefers / systemE
  🤣 A lightweight systemd replacement written in Emacs lisp 🤣
  ☆713Updated 3 years ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆128Updated last year
• glebec / lambda-talk
  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
  ☆522Updated last year