Alternatives and similar repositories for sisal-is

Users that are interested in sisal-is are comparing it to the libraries listed below

• travisg / uefi

  View on GitHub
  uefi app/bootloader development sandbox
  ☆15Apr 25, 2016Updated 9 years ago
• mcimini / Gradualizer

  View on GitHub
  Supporting tool for Gradual Typing
  ☆16May 12, 2020Updated 5 years ago
• Barry-Jay / bondi

  View on GitHub
  source code for the bondi programming language
  ☆45Feb 17, 2019Updated 7 years ago
• bilalhusain / dust

  View on GitHub
  Dust Programming Language
  ☆22Jul 16, 2014Updated 11 years ago
• stamourv / partial-evaluation-tutorial

  View on GitHub
  Racket implementation of Cook and Lämmel's partial evaluation tutorial.
  ☆32Aug 7, 2012Updated 13 years ago
• Gozala / actor

  View on GitHub
  Library for managing concurrent effects using generators.
  ☆35May 23, 2023Updated 2 years ago
• stokito / fortress-lang

  View on GitHub
  ☆59Jan 10, 2017Updated 9 years ago
• gregspurrier / shen-ruby

  View on GitHub
  ShenRuby is a port of the Shen programming language to Ruby
  ☆77Jul 26, 2019Updated 6 years ago
• funnythingz / AburaSoba

  View on GitHub
  油そばのレシピ
  ☆11Apr 23, 2016Updated 9 years ago
• tov / alms

  View on GitHub
  The Alms Programming Language
  ☆44Aug 29, 2018Updated 7 years ago
• bagel99 / esl

  View on GitHub
  Compiler for a new programming language: Embedded Systems Language (ESL).
  ☆35Sep 16, 2025Updated 5 months ago
• dobesv / charity

  View on GitHub
  Charity Programming Language
  ☆41Apr 14, 2015Updated 10 years ago
• Sunscreen-tech / spf

  View on GitHub
  This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…
  ☆11Jan 5, 2026Updated last month
• Maufeat / DragonBallOnline

  View on GitHub
  DragonBall Online Client Development (Base: KR 0.50)
  ☆10Jul 31, 2017Updated 8 years ago
• haasn / -g-pl

  View on GitHub
  /g/ programming language
  ☆13Nov 9, 2011Updated 14 years ago
• gregr / dbKanren

  View on GitHub
  Kanren with databases
  ☆44Jul 30, 2024Updated last year
• makslevental / mmlir

  View on GitHub
  A minimal (really) out-of-tree MLIR example
  ☆46Aug 14, 2025Updated 6 months ago
• tonyg / syndicate

  View on GitHub
  syn·di·cate: a language for interactive programs
  ☆160Dec 18, 2025Updated 2 months ago
• hatashiro / monkey-rs

  View on GitHub
  An interpreter for Monkey with parser combinator written in Rust
  ☆44Aug 26, 2019Updated 6 years ago
• chrisandreae / meoip

  View on GitHub
  Mikrotik EoIP implementation. Rewrite of the implementation at linux-eoip.googlecode.com for better latency and buffering performance.
  ☆14Mar 27, 2014Updated 11 years ago
• paysure / orinoco

  View on GitHub
  Functional composable pipelines allowing clean separation of the business logic and its implementation
  ☆11Sep 6, 2025Updated 5 months ago
• Typee-Language / Typee

  View on GitHub
  A new generic object oriented programming language.
  ☆10Jan 6, 2026Updated last month
• 0xCardinal / desearch

  View on GitHub
  A wrapper around sci-hub.se for downloading Research Papers.
  ☆11Nov 21, 2020Updated 5 years ago
• mc-imperial / dredd

  View on GitHub
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Oct 28, 2025Updated 3 months ago
• tiagofrepereira2012 / gradients_without_backpropagation

  View on GitHub
  ☆12Feb 23, 2022Updated 3 years ago
• paulczar / docker-chef-solo

  View on GitHub
  demo of building docker container with chef-solo + berkshelf
  ☆25Sep 8, 2013Updated 12 years ago
• datenanfragen / letter-generator

  View on GitHub
  Generate letters (plain text or PDF) from templates.
  ☆14Jan 8, 2023Updated 3 years ago
• racket / plot

  View on GitHub
  ☆45Nov 21, 2025Updated 2 months ago
• HackerFoo / poprc

  View on GitHub
  A Compiler for the Popr Language
  ☆257Jan 7, 2021Updated 5 years ago
• HackerFoo / startle

  View on GitHub
  Startle C Library
  ☆18Jan 28, 2019Updated 7 years ago
• jspm / jspm.org

  View on GitHub
  jspm.org website
  ☆13Oct 26, 2025Updated 3 months ago
• TheRealMichaelWang / NoHoPython

  View on GitHub
  A strongly-typed, compiled dialect of Python.
  ☆13Jan 28, 2024Updated 2 years ago
• andreasjansson / Celltone

  View on GitHub
  A programming language for generative music composition using cellular automata
  ☆17Apr 17, 2013Updated 12 years ago
• littledivy / deno_sass2

  View on GitHub
  WASMified Sass compiler for Deno
  ☆10Nov 5, 2020Updated 5 years ago
• mathiasnovas / leet.js

  View on GitHub
  Convert boring text to 1337 text
  ☆13Mar 15, 2016Updated 9 years ago
• mattn / zig-cat

  View on GitHub
  ☆12Jul 28, 2022Updated 3 years ago
• didierverna / asdf-flv

  View on GitHub
  ASDF extension to provide support for file-local variables
  ☆10Jan 5, 2024Updated 2 years ago
• evelant / vscode-dimmer

  View on GitHub
  ☆12May 27, 2020Updated 5 years ago
• lunasorcery / hw

  View on GitHub
  HW: a modern, open-source, typeless, turing-incomplete programming language.
  ☆10Jul 17, 2018Updated 7 years ago