Alternatives and similar repositories for high-school-cs-class

Users that are interested in high-school-cs-class are comparing it to the libraries listed below

• minchingtonak / lambster.dev
  Web interface for https://github.com/minchingtonak/lambster
  ☆13Updated last month
• Anniepoo / prolog-examples
  Some simple examples for new Prolog programmers
  ☆615Updated 3 years ago
• MarcinCiura / O-dobrym-programowaniu-w-Pythonie
  O dobrym programowaniu w Pythonie
  ☆20Updated 10 months ago
• spoto / ProgrammazioneJava
  Programmazione Java
  ☆36Updated 2 months ago
• racket / racket
  The Racket repository
  ☆5,042Updated this week
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆971Updated this week
• Rattlehead15 / Correlativas
  Árbol de Correlativas de LCC
  ☆10Updated 3 years ago
• triska / the-power-of-prolog
  The Power of Prolog: Introduction to modern Prolog
  ☆1,342Updated last month
• sondresl / AdventOfCode
  🎄❄️Advent of Code solutions in Haskell 🎅🎁
  ☆10Updated 11 months ago
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆466Updated this week
• CertAcademico / CertAcademico
  ☆54Updated 2 months ago
• SWI-Prolog / swipl-devel
  SWI-Prolog Main development repository
  ☆1,149Updated this week
• racket / drracket
  DrRacket, IDE for Racket
  ☆483Updated last week
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,469Updated this week
• FIUP / Thesis-template
  A simple Thesis template for the Bachelor's Degree in Computer Science @Unipadova
  ☆22Updated last year
• mlochbaum / BQN
  An APL-like programming language
  ☆1,012Updated this week
• Unina-Docs / notes
  [UNOFFICIAL] Freely available notes for Computer Science Course at F2
  ☆33Updated 11 months ago
• vincenthopf / Digispark-Pranks-and-Examples
  Here you'll find code for your DigiSpark. Download this Repository for awesome pranks that you can use on your friends!
  ☆10Updated 5 years ago
• TabbycatDebate / tabbycat
  Debating tournament tabulation software for British Parliamentary and a variety of two-team parliamentary formats
  ☆274Updated last week
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆548Updated 2 months ago
• achlipala / frap
  Formal Reasoning About Programs
  ☆712Updated last week
• racket / typed-racket
  Typed Racket
  ☆551Updated last week
• IUCompilerCourse / Essentials-of-Compilation
  A book about compiling Racket and Python to x86-64 assembly
  ☆1,520Updated 3 weeks ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆541Updated last month
• mtzguido / intro-verif-24
  Repositorio de la optativa para la FCEIA
  ☆15Updated 7 months ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆806Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆19Updated last year
• karma9874 / AndroRAT
  A Simple android remote administration tool using sockets. It uses java on the client side and python on the server side
  ☆4,309Updated last year
• aepsilon / turing-machine-viz
  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️
  ☆276Updated 4 years ago
• anuno61044 / Computer-Science-UH
  ☆12Updated last year