fredoverflow/karel 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

fredoverflow/karel

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/fredoverflow/karel)

Close

fredoverflow / karelView on GitHubMore

• External links
• Readme badge

Karel The Robot

☆603Jun 21, 2026Updated last week

Alternatives and similar repositories for karel

Users that are interested in karel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ColumbusNorthHighSchoolCodingClub / JQuest

  View on GitHub
  ☆10May 16, 2022Updated 4 years ago
• risgk / digital-synth-wra32

  View on GitHub
  Virtual Analog Synthesizer Web App
  ☆18May 30, 2015Updated 11 years ago
• soywiz-archive / kmem

  View on GitHub
  Bit, Array and Fast Memory utilities for Multiplatform Kotlin 1.3
  ☆10Jun 20, 2022Updated 4 years ago
• ThoughtWorksInc / ZeroCost.scala

  View on GitHub
  Zero-cost Abstractions in Scala
  ☆10Nov 7, 2017Updated 8 years ago
• lazy-dude / beginners-C-program-examples

  View on GitHub
  Simple, Short and Sweet beginners friendly C language programs , revised.
  ☆18Apr 15, 2022Updated 4 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• lucasdiedrich / ojs

  View on GitHub
  Open Journal Systems (OJS) is a journal management and publishing system.
  ☆22Dec 21, 2021Updated 4 years ago
• pkp / quickSubmit

  View on GitHub
  ☆13Jan 6, 2026Updated 5 months ago
• RPiList / specials

  View on GitHub
  Schutz vor Fakeshops, Werbung, Tracking und anderen Angriffen aus dem Internet
  ☆1,685Updated this week
• mscharley / scalajs-electron

  View on GitHub
  Electron facade for Scala.js
  ☆11Jan 10, 2018Updated 8 years ago
• nickhristov / krakdown

  View on GitHub
  A fast, Kotlin-native Markdown parser
  ☆15Mar 21, 2018Updated 8 years ago
• Milyardo / sglgears

  View on GitHub
  A port of gears.c to Scala using Scala Native
  ☆15Sep 26, 2018Updated 7 years ago
• guardian / play-secret-rotation

  View on GitHub
  Rotate your Application Secret on an active cluster of Play app servers
  ☆14Updated this week
• ajnafa / Bayesian-IPW

  View on GitHub
  ☆17Dec 24, 2021Updated 4 years ago
• m-thorsen / vscode-materia

  View on GitHub
  Materia theme for VS Code
  ☆10Sep 12, 2025Updated 9 months ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• AIINS-NTHU / LTS-DASH-Streaming-System-for-3DGS

  View on GitHub
  LTS: A DASH Streaming System for Dynamic Multi-Layer 3D Gaussian Splatting Scenes
  ☆18Sep 4, 2025Updated 9 months ago
• hal / circuit

  View on GitHub
  Uni-directional data flow model for GUI applications.
  ☆21Jun 27, 2016Updated 10 years ago
• leodr / ulauncher-theme-libadwaita

  View on GitHub
  A Ulauncher theme that looks native under libadwaita.
  ☆12Jan 4, 2024Updated 2 years ago
• jeroen / webp

  View on GitHub
  R bindings for libwebp
  ☆17Jan 18, 2026Updated 5 months ago
• jrmarino / zstd-ada

  View on GitHub
  Zstandard for Ada - Fast real-time compression algorithm
  ☆17Feb 3, 2023Updated 3 years ago
• purejava / kdewallet

  View on GitHub
  A Java library for storing secrets on linux in a KDE wallet over D-Bus
  ☆17Oct 29, 2025Updated 8 months ago
• squeezeday / raspberry-pi-e-ink-display

  View on GitHub
  Display caldav events and Home assistant sensor data on en e-ink display
  ☆13Oct 18, 2023Updated 2 years ago
• vzhn / ffmpeg-java-samples

  View on GitHub
  ffmpeg usage samples
  ☆11Aug 11, 2021Updated 4 years ago
• note / mini-refined

  View on GitHub
  Simple encoding of refinement types in Scala 3
  ☆23Jun 24, 2024Updated 2 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• xtekky / Temp-Mail

  View on GitHub
  Python TempMail client using https://temp-mail.org/ with cloudflare bypass
  ☆42Aug 22, 2022Updated 3 years ago
• massover / accel

  View on GitHub
  ☆10Jan 21, 2018Updated 8 years ago
• wacon-internet-gmbh / wacon_cookie_management

  View on GitHub
  WCM ist eine TYPO3 Extension, die es den Besuchern Ihrer Website erlaubt, die benutzten Cookie-Einstellungen selber zu kontrollieren.
  ☆11Apr 20, 2026Updated 2 months ago
• zuplo-samples / db2openapi

  View on GitHub
  Generate an OpenAPI/Swagger specification from your SQL database
  ☆15Feb 27, 2026Updated 4 months ago
• imZack / resume-kelvin

  View on GitHub
  Kelvin is an awesome Bootstrap 3.0 resume theme with modern build system.
  ☆17Sep 25, 2014Updated 11 years ago
• mempirate / nodejs-ipfs-app

  View on GitHub
  ☆14Dec 11, 2022Updated 3 years ago
• evelinamorim / aes-pt

  View on GitHub
  An Automatic Essay Scoring Framework for Portuguese Essays
  ☆11Aug 28, 2019Updated 6 years ago
• caburu / modelo-ppgccufmg

  View on GitHub
  Modelo Latex (GAMBIARRA) de Tese PPGCC - UFMG
  ☆10Jan 24, 2022Updated 4 years ago
• ManfredTremmel / gwt-commons-lang3

  View on GitHub
  A compatible GWT port of the apache commons lang3, which provides most of the functionality also on client (browser) side.
  ☆14Jun 6, 2018Updated 8 years ago
• AI Agents on DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• Vitaliy-1 / JATSParserPlugin

  View on GitHub
  OJS3 Plugin for parsing JATS XML and displaying it on article detail page
  ☆28Apr 18, 2023Updated 3 years ago
• pkp / texture

  View on GitHub
  Texture JATS XML editor integration for OJS
  ☆29Sep 3, 2025Updated 9 months ago
• SheetJS / k

  View on GitHub
  Spreadsheet Differ
  ☆86Jul 4, 2020Updated 5 years ago
• krmanik / Anki-Custom-Card-Layout

  View on GitHub
  Anki Custom Card Layout
  ☆26Mar 20, 2021Updated 5 years ago
• libnewton / hedgenext-plugin

  View on GitHub
  HedgeNext Nextcloud App
  ☆11Aug 18, 2024Updated last year
• gradlex-org / java-module-testing

  View on GitHub
  Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules
  ☆27Updated this week
• joergkrause / bootstrap4-book

  View on GitHub
  Sample files for the Bootstrap 4.4 book (German and English editions)
  ☆11Jan 7, 2023Updated 3 years ago