0918nobita/fs-education 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

0918nobita/fs-education

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/0918nobita/fs-education)

Close

0918nobita / fs-educationView on GitHubMore

• External links
• Readme badge

プログラミングの初歩を学んでもらうための無料教材

☆14Sep 28, 2021Updated 5 years ago

Alternatives and similar repositories for fs-education

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

• 0918nobita / native-interop

  View on GitHub
  Native Interoperability (Experimental)
  ☆12Sep 3, 2024Updated 2 years ago
• xemime-lang / xemime

  View on GitHub
  The Xemime programming language
  ☆13Oct 13, 2020Updated 6 years ago
• 0918nobita / synth

  View on GitHub
  Synthesizer (using Web Audio API)
  ☆14Dec 30, 2020Updated 5 years ago
• ygkn / react-study-2021

  View on GitHub
  よ〜し React 勉強会を開いちゃうぞ〜
  ☆13Sep 4, 2021Updated 5 years ago
• matoruru / documentation

  View on GitHub
  PureScriptドキュメントの日本語訳
  ☆12Oct 30, 2019Updated 7 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.
• shuta13 / react-deep-dive

  View on GitHub
  Project for React Deep Dive study group
  ☆35Oct 22, 2026Updated 2 weeks ago
• tarakish / whiskey_database

  View on GitHub
  相性のいい飲み方やおつまみなど、独自の検索軸から直感的にウイスキーを探せる情報サービス。
  ☆18May 29, 2025Updated last year
• get-me-power / dotvim

  View on GitHub
  my Vim's setting file
  ☆15Sep 9, 2023Updated 3 years ago
• Ellivers / WorldTool

  View on GitHub
  A world editing Minecraft data pack
  ☆11Dec 19, 2024Updated last year
• konn / herbrand

  View on GitHub
  An experiment around automated theorem proving in Haskell
  ☆13Aug 2, 2026Updated 3 months ago
• minfia / AviUtlAutoInstaller

  View on GitHub
  AviUtlの環境を自動構築するツール
  ☆19Jul 28, 2026Updated 3 months ago
• saitolume / ankipan

  View on GitHub
  🍞 A command line tool to save the full resources of any web page.
  ☆20Oct 11, 2020Updated 6 years ago
• newca12 / scala-atp

  View on GitHub
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to Scala
  ☆14May 6, 2019Updated 7 years ago
• yakuza8 / first-order-predicate-logic-theorem-prover

  View on GitHub
  Autonomous Theorem Prover for First Order Predicate Logic
  ☆12Jun 29, 2020Updated 6 years ago
• Deploy on Railway without the complexity - Free Credits Offer • Ad
  Connect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
• koji-k / groovy-tutorial

  View on GitHub
  プログラミング言語 Apache Groovyのチュートリアルです。
  ☆10Jul 9, 2021Updated 5 years ago
• pocarist / hminfer-rust

  View on GitHub
  ☆11Oct 24, 2017Updated 9 years ago
• monaqa / satysfi-parser

  View on GitHub
  SATySFi parser writtern in Rust.
  ☆14Apr 14, 2022Updated 4 years ago
• swen128 / youtube-live-chat-filter

  View on GitHub
  YouTube Live のチャットで NG ワードを含むメッセージを非表示にする Chrome 拡張
  ☆10Jan 3, 2022Updated 4 years ago
• idokutela / rum-native

  View on GitHub
  Rum and react-native without the magic.
  ☆11Apr 13, 2018Updated 8 years ago
• sheepla / duckgo

  View on GitHub
  🦆 A command line DuckDuckGo client with fuzzyfinder UI written in Go
  ☆17Feb 16, 2025Updated last year
• crisperdue / practical-logic

  View on GitHub
  Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
  ☆12May 9, 2021Updated 5 years ago
• takumatt / ciel.el

  View on GitHub
  An emacs command that is clone of "ci" in vim.
  ☆13Sep 14, 2018Updated 8 years ago
• toh-10 / CHIP8-C

  View on GitHub
  👾 Simple Chip8 emulator witten in C.
  ☆14Sep 26, 2020Updated 6 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.
• Ran350 / portfolio

  View on GitHub
  my portfolio site
  ☆10Updated this week
• yamkazu / jggug-grails-bootcamp

  View on GitHub
  ☆11Oct 23, 2015Updated 11 years ago
• deatiger / react-basic-new

  View on GitHub
  Sample code for New React Basic Course
  ☆11Jul 22, 2021Updated 5 years ago
• MatthewRock / cl-trie

  View on GitHub
  Common Lisp implementation of Trie data structure.
  ☆13Jan 10, 2023Updated 3 years ago
• 01mf02 / cop-rs

  View on GitHub
  Connection provers in Rust
  ☆14Mar 13, 2024Updated 2 years ago
• tarakoKutibiru / UnityRenderStreaming-Ayame-Sample

  View on GitHub
  ☆14Jan 5, 2021Updated 5 years ago
• 0xGeorgii / SharpLogic

  View on GitHub
  Open source F# mathematical logic library.
  ☆13May 16, 2022Updated 4 years ago
• Alastair-Carr / Natural-Deduction-Pack

  View on GitHub
  Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"
  ☆13Feb 27, 2018Updated 8 years ago
• spikeyarmaku / Unreal-Haskell-Blueprint-Tutorial

  View on GitHub
  How to use Haskell + Stack with Unreal Engine 4 on Windows - Blueprint version
  ☆18May 12, 2017Updated 9 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• hoge1e3 / Tonyu2

  View on GitHub
  Language and IDE for action game development using html5+js.
  ☆21Oct 4, 2026Updated last month
• smorimoto / rescript-videojs-example

  View on GitHub
  An example of using Video.js with ReScript React
  ☆19Updated this week
• surajx / proof-assistant

  View on GitHub
  Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checkin…
  ☆13May 23, 2018Updated 8 years ago
• mokkkk / nukk_mh_dp

  View on GitHub
  minecraftにボスモンスターを追加するデータパック
  ☆16Dec 25, 2022Updated 3 years ago
• penta2himajin / qwisp

  View on GitHub
  Fast, optionally-lossless local inference for Qwen3.6-35B-A3B (MoE) on Apple Silicon — OpenAI-compatible server + CLI over a raw-Metal de…
  ☆17Oct 18, 2026Updated 2 weeks ago
• chanind / tensor-theorem-prover

  View on GitHub
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆14Mar 23, 2023Updated 3 years ago
• violetyk / iikanji-markdown.vim

  View on GitHub
  いい感じにMarkdownを書くためのプラグイン
  ☆13Aug 21, 2015Updated 11 years ago