Kalimehtar/russian-lang 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

Kalimehtar/russian-lang

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/Kalimehtar/russian-lang)

Close

Kalimehtar / russian-langView on GitHubMore

• External links
• Readme badge

Programming language based on russian language

☆13Oct 29, 2026Updated last week

Alternatives and similar repositories for russian-lang

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

• Nezk / upal

  View on GitHub
  A typechecker and lazy interpreter for System U
  ☆12Jun 7, 2026Updated 4 months ago
• rzrn / loria

  View on GitHub
  Minetest subgame
  ☆21May 23, 2026Updated 5 months ago
• Trebor-Huang / ZFC

  View on GitHub
  An embedding of ZFC into Agda
  ☆13Dec 10, 2021Updated 4 years ago
• TheBrokenPipe / ski

  View on GitHub
  ia64 (Itanium) instruction set simulator. Fork of http://ski.sourceforge.net
  ☆31Jun 30, 2026Updated 4 months ago
• mabragor / defmacro-enhance

  View on GitHub
  Enhancement of defmacro in spirit of let-over-lambda.
  ☆11Mar 31, 2017Updated 9 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.
• massung / racket-canvas-list

  View on GitHub
  A fast-rendering, single-selection, canvas control allowing custom drawing of a filtered, sorted list of items.
  ☆15Jul 26, 2021Updated 5 years ago
• Kalimehtar / advanced-readtable

  View on GitHub
  Portable on any ANSI CL very flexible readtable with extensible find-package and find-symbol.
  ☆12Jun 25, 2013Updated 13 years ago
• thamugadi / mltt-c

  View on GitHub
  Martin-Löf type theory + W-types implemented in C (WIP)
  ☆28Feb 16, 2026Updated 8 months ago
• rzrn / lean4-categories

  View on GitHub
  Category Theory & Cobordism Categories in Lean 4
  ☆16Jun 27, 2024Updated 2 years ago
• Kalimehtar / gir

  View on GitHub
  Racket GObjectIntrospection FFI
  ☆16Oct 13, 2021Updated 5 years ago
• kcrary / istari

  View on GitHub
  ☆29Oct 13, 2026Updated 3 weeks ago
• Kalimehtar / gtk-cffi

  View on GitHub
  GTK3 CFFI binding
  ☆14Nov 18, 2016Updated 9 years ago
• arrdem / pascal

  View on GitHub
  A Pascal compiler & compiler toolkit written in Clojure
  ☆10Jun 13, 2013Updated 13 years ago
• chubbymaggie / fast

  View on GitHub
  Flat Abstract Syntax Tree
  ☆36Nov 4, 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.
• rzrn / leanbot

  View on GitHub
  IRC-bot written in Lean (https://leanprover.github.io/)
  ☆10Mar 4, 2022Updated 4 years ago
• Bulat-Ziganshin / magus

  View on GitHub
  Portable high-level assembler with authentic C syntax
  ☆27Jul 1, 2022Updated 4 years ago
• minedeljkovic / redux-elmish

  View on GitHub
  The Elm Architecture in Redux, statically checked using flow
  ☆11Jan 8, 2018Updated 8 years ago
• rufoa / cljcc

  View on GitHub
  ☆12Jan 31, 2016Updated 10 years ago
• Kalimehtar / gls

  View on GitHub
  Generic Little System
  ☆18May 5, 2024Updated 2 years ago
• vmxdev / sidmat

  View on GitHub
  Simple DNS matcher
  ☆39Aug 28, 2018Updated 8 years ago
• sirikid / emacs-1s

  View on GitHub
  Major mode for OneScript, LSP integration
  ☆11Jul 16, 2021Updated 5 years ago
• mndrix / regex

  View on GitHub
  Regular expressions for Prolog
  ☆17Jul 6, 2017Updated 9 years ago
• fraimondi / racket-asip

  View on GitHub
  A Racket client for the Arduino Service Interface Protocol (ASIP)
  ☆13Feb 19, 2018Updated 8 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.
• cwmaguire / zombunity-mud

  View on GitHub
  Zombunity MUD: A distributed, message processing framework consisting of a message server, database http server and web client.
  ☆12Jul 30, 2013Updated 13 years ago
• zweifisch / ob-javascript

  View on GitHub
  ☆11Jul 27, 2017Updated 9 years ago
• 11111000000 / shaoline

  View on GitHub
  shaoline-mode
  ☆10Sep 28, 2026Updated last month
• petypen / 1C_Markdown_Test

  View on GitHub
  Пример визуализации разметки Markdown на платформе 1С:Предприятие для статьи на ИС
  ☆12Jun 12, 2018Updated 8 years ago
• mitranim / fpx

  View on GitHub
  Functional programming extensions for JS. Lightweight replacement for Lodash.
  ☆13Feb 15, 2022Updated 4 years ago
• d2km / nixformat

  View on GitHub
  ☆22Apr 27, 2023Updated 3 years ago
• ecraven / exwm-surf

  View on GitHub
  Interface for Surf under exwm
  ☆12May 26, 2018Updated 8 years ago
• vmxdev / damper

  View on GitHub
  Linux userspace traffic shaper
  ☆43Mar 8, 2022Updated 4 years ago
• chip8-rust / chip8-vm

  View on GitHub
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Jul 11, 2015Updated 11 years ago
• Wordpress hosting with auto-scaling - Free Trial Offer • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• ncfavier / agda-stuff

  View on GitHub
  My Agda/Mikan stuff
  ☆13Oct 23, 2026Updated 2 weeks ago
• ozzymcduff / csharp_ukanren

  View on GitHub
  A port of microKanren (Ruby) to CSharp (the f# versions mentioned on the ukanren site look more interesting https://github.com/kurtschelf…
  ☆18Jul 15, 2021Updated 5 years ago
• dannypsnl / typed-racket-eff

  View on GitHub
  typed/racket + effect system
  ☆11Aug 31, 2025Updated last year
• JStalnac / SharpSpades

  View on GitHub
  A work-in-progress Ace of Spades Classic v0.75 server implementation
  ☆10Feb 22, 2026Updated 8 months ago
• czen / MMCS_CS311

  View on GitHub
  CS311. Методы разработки компиляторов (практика) ФИиИТ 4 курса
  ☆10Dec 8, 2022Updated 3 years ago
• racket / 2d

  View on GitHub
  2d syntax
  ☆21Aug 11, 2026Updated 2 months ago
• AnonProgrammers / IRC-Flooder

  View on GitHub
  Simple IRC Bot for flooding
  ☆11Sep 12, 2011Updated 15 years ago