Alternatives and similar repositories for labjpp:

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

• mbenke / jnp3-haskell
  Materiały do zajęć JNP3 (grupa Haskell) na MIMUW
  ☆30Updated 2 months ago
• lopsided98 / nix-ros-overlay
  ROS overlay for the Nix package manager
  ☆244Updated this week
• phaux / rdza
  Rust programming, in Polish.
  ☆269Updated 2 years ago
• mgrabmueller / TransformersStepByStep
  Tutorial on monad transformers
  ☆60Updated 3 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆127Updated 2 years ago
• Treeniks / isabelle-lsp.nvim
  ☆12Updated 5 months ago
• luc-tielen / telescope_hoogle
  Hoogle search integration for Telescope
  ☆49Updated last year
• mimuw-jnp2-rust / mimuw-jnp2-rust.github.io
  Rust course at MIM UW teaching materials
  ☆18Updated 3 months ago
• vzarytovskii / haskell-dev-env
  A Dockerfile for Haskell Development, and DevContainer for VSCode, for installing GHC HLS (Haskell Language Server) and the required plug…
  ☆60Updated last year
• sgillespie / lambda-calculator
  A simple implementation of the untyped lambda calculus
  ☆10Updated 2 years ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆16Updated last year
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆179Updated last month
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆105Updated last week
• austinvhuang / awesome-haskell-deep-learning
  In the tradition of "awesome" (curated) lists, this is a list of references and code for doing deep learning in Haskell.
  ☆293Updated 3 years ago
• agda / cornelis
  agda-mode for neovim
  ☆148Updated this week
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆40Updated 2 months ago
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• l4u / zsh-output-highlighting
  A more colorful zshell !
  ☆11Updated last year
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• MondayMorningHaskell / RealWorldHaskell
  ☆17Updated 4 years ago
• cdepillabout / example-static-haskell-nix
  Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release
  ☆22Updated 6 months ago
• chshersh / iris
  🌈 Haskell CLI Framework supporting Command Line Interface Guidelines
  ☆186Updated last year
• IHaskell / learn-you-a-haskell-notebook
  Jupyter adaptation of Learn You a Haskell for Great Good!
  ☆300Updated last year
• stackbuilders / assertive-ts
  A type-safe fluent assertion library written in TypeScript and inspired by Jest assertions and the popular AssertJ
  ☆33Updated last week
• ysndr / blog
  Sources for my Blog
  ☆26Updated last year
• rmehri01 / thock
  ⌨️ A modern TUI typing game featuring online racing against friends.
  ☆93Updated 3 years ago
• Josemarialanda / simple-haskell-project
  A convenient script that generates a fully decked haskell project in a matter of seconds!
  ☆16Updated 2 years ago
• artisticat1 / obsidian-tikzjax
  Render LaTeX and TikZ diagrams in your notes
  ☆507Updated 8 months ago
• hacker1024 / nix-ros-workspace
  An opinionated builder for ROS workspaces using lopsided98/nix-ros-overlay.
  ☆18Updated last year
• Misterio77 / website
  My personal website and blog
  ☆18Updated last month