mraron / njudge

Related projects ⓘ

Alternatives and complementary repositories for njudge

• AntonPing / norem-draft-2
  A modern functional programming language with effect system.
  ☆19Updated 7 months ago
• pauladam94 / curryst
  Typst Package to typeset inference rule
  ☆20Updated last month
• criyle / go-sandbox
  Sandbox implemented in GO with container / ptrace / seccomp
  ☆185Updated 5 months ago
• moonbitlang / quickcheck
  Automatic testing of MoonBit programs
  ☆16Updated this week
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆55Updated last month
• abrudz / apl_quest
  Code presented in the APL Quest
  ☆12Updated 8 months ago
• gomarkdown / mdtohtml
  Command-line tool to convert markdown to html
  ☆30Updated 9 months ago
• mlochbaum / bqn-libs
  Informal collection of BQN utilities
  ☆51Updated 2 weeks ago
• Seggan / Fig
  A functional, fractional-byte programming language
  ☆14Updated last year
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆68Updated 11 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆91Updated 3 weeks ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• yuyan-lang / yuyan
  豫言
  ☆27Updated 3 weeks ago
• micahcantor / racket-lox
  An implementation of the Lox language in Racket.
  ☆30Updated last year
• brendanzab / lean-holes
  Interactive holes for Lean 4
  ☆16Updated 7 months ago
• kentookura / forester.nvim
  Neovim plugin for forester
  ☆13Updated this week
• KonjacSource / ShiTT
  ShiTT is a toy proof assistant (almost).
  ☆28Updated last week
• dzaima / BQN386
  ☆12Updated 6 months ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 10 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆184Updated last week
• plclub / cis6700-23sp
  CIS 6700, Spring 2023
  ☆15Updated last year
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated last week
• greghendershott / toml
  A TOML parser implementation in Racket.
  ☆10Updated 5 years ago
• zmr-233 / MoonBit-WASM-Debugger
  ☆13Updated last month
• zyedidia / sregx
  A tool and library for using structural regular expressions.
  ☆61Updated last year
• moonbit-community / cmark
  A CommonMark toolkit for MoonBit.
  ☆10Updated this week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆58Updated this week
• Guest0x0 / pruning-tutor
  a tutorial implementation on an elaborator of a dependently typed language with pruning
  ☆22Updated 2 years ago
• codereport / array-language-comparisons
  A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.
  ☆156Updated 3 months ago
• jgm / typst-hs
  Haskell library for parsing and evaluating typst
  ☆44Updated 2 weeks ago