nordiCode

nordiCode's Stars

• lustre-labs/lustre

  A Gleam web framework for building HTML templates, single page applications, and real-time server components.

  Language:Gleam1k65

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.6k405

• leostera/minttea

  A fun little TUI framework for OCaml

  Language:OCaml33726

• askvortsov1/nittany_market

  A class project I used to explore full stack web development in OCaml.

  Language:OCaml291

• norvig/pytudes

  Python programs, usually short, of considerable difficulty, to perfect particular skills.

  Language:Jupyter Notebook22.6k2.4k

• phoenixframework/phoenix

  Peace of mind from prototype to production

  Language:Elixir21.3k2.9k

• neohaskell/NeoHaskell

  ⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

  Language:Haskell2733

• elixirkoans/elixir-koans

  Elixir learning exercises

  Language:Elixir2.2k597

• donnemartin/interactive-coding-challenges

  120+ interactive Python coding interview challenges (algorithms and data structures). Includes Anki flashcards.

  Language:Python29.4k4.4k

• phagenlocher/learn-haskell-by-example

  Projects showcased in the book "Learn Haskell by Example"

  Language:Haskell101

• ratfactor/ziglings

  Learn the Zig programming language by fixing tiny broken programs.

  4.3k482

• aantron/dream

  Tidy, feature-complete Web framework

  Language:OCaml1.6k126

• gibbok/typescript-book

  The Concise TypeScript Book: A Concise Guide to Effective Development in TypeScript. Free and Open Source.

  Language:TypeScript8.4k519

• ghcjs/ghcjs

  Haskell to JavaScript compiler, based on GHC

  Language:Haskell2.6k187

• andys8/type-signature-com

  Who Wants to Be a Millionaire - but with types

  Language:PureScript873

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  23.8k555

• h4cc/awesome-elixir

  A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things. Updates:

  Language:Elixir12.6k1.2k

• pawroman/zola-theme-terminimal

  A simple, minimal retro theme for Zola

  Language:HTML37285

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.5k375

• soupi/learn-haskell-blog-generator

  Learn Haskell by building a blog generator - an introductory book about Haskell.

  27646

• alexmingoia/twain

  Tiny web application framework for WAI.

  Language:Haskell692

• ocaml-community/awesome-ocaml

  A curated collection of awesome OCaml tools, frameworks, libraries and articles.

  2.8k167

• haskell-beginners-2022/course-plan

  📜 Haskell course info, plan, video lectures, slides

  Language:Haskell1.3k53

• soupi/haskell-study-plan

  An opinionated list of resources for learning Haskell

  86850

• DeterminateSystems/zero-to-nix

  Zero to Nix is your guide to learning Nix and flakes. Created by Determinate Systems.

  Language:MDX86565

• mstksg/advent-of-code-2020

  🎅🌟❄️☃️🎄🎁

  Language:Haskell988

• be5invis/Iosevka

  Versatile typeface for code, from code.

  Language:JavaScript19.1k568

• effectfully-ou/haskell-challenges

  Code challenges to solve with Haskell

  Language:Haskell8823

• purescript/purescript

  A strongly-typed language that compiles to JavaScript

  Language:Haskell8.5k563

• tweag/asterius

  DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

  Language:Haskell2k55