apl-cornell/jif 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

apl-cornell/jif

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/apl-cornell/jif)

Close

apl-cornell / jifView on GitHubMore

• External links
• Readme badge

Java-like Language with Static Information Flow Types

☆13May 5, 2025Updated 9 months ago

Alternatives and similar repositories for jif

Users that are interested in jif are comparing it to the libraries listed below

• darchr / dram-cache-model

  View on GitHub
  This is where gem5 based DRAM cache models live.
  ☆20Mar 23, 2023Updated 2 years ago
• rowandavies / sml-cidre

  View on GitHub
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Jul 4, 2013Updated 12 years ago
• tov / alms

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

  View on GitHub
  Boost.org logic module
  ☆12Dec 10, 2025Updated 2 months ago
• dgist-datalab / trace_generator

  View on GitHub
  ☆10Jan 11, 2024Updated 2 years ago
• sile / erl_parse

  View on GitHub
  Erlang source code parser written in Rust
  ☆10Oct 15, 2021Updated 4 years ago
• fukamachi / yapool

  View on GitHub
  A Common Lisp command-line tool for executing shell commands via SSH.
  ☆12Jul 14, 2015Updated 10 years ago
• pkhuong / aerie

  View on GitHub
  Aerie: a regex-like engine nested word grammars
  ☆16Feb 5, 2022Updated 4 years ago
• rafael-santiago / linux-crypto-api-aes-gcm-min-sample

  View on GitHub
  A straightforward (complete) sample of how to implement AES-GCM by using Linux crypto API at kernel side
  ☆12Oct 6, 2022Updated 3 years ago
• SchrodingerZhu / ahash-cxx

  View on GitHub
  A variant of Ahash written in C++.
  ☆10Mar 20, 2023Updated 2 years ago
• ilya-klyuchnikov / faba

  View on GitHub
  Fast Bytecode Analysis
  ☆15Jan 2, 2016Updated 10 years ago
• standardcompletions / rfcs

  View on GitHub
  RFCs for standardcompletions.org
  ☆25Jun 11, 2025Updated 8 months ago
• GTkernel / coeus-sim

  View on GitHub
  ☆11Mar 22, 2022Updated 3 years ago
• jrmarino / zstd-ada

  View on GitHub
  Zstandard for Ada - Fast real-time compression algorithm
  ☆16Feb 3, 2023Updated 3 years ago
• StephenWakely / froute

  View on GitHub
  Routing library taking advantage of the MOP
  ☆13Jul 1, 2018Updated 7 years ago
• wangxyustc / nogo

  View on GitHub
  不围棋c语言实现，大一大作业，关键算法是判断围棋中的气
  ☆10Aug 14, 2020Updated 5 years ago
• PositionalHidden / PositionalHidden

  View on GitHub
  To mitigate position bias in LLMs, especially in long-context scenarios, we scale only one dimension of LLMs, reducing position bias and …
  ☆11Jun 18, 2024Updated last year
• jrmarino / libsodium-ada

  View on GitHub
  libsodium for Ada - A secure cryptographic library
  ☆10Jul 18, 2016Updated 9 years ago
• brownplt / Resugarer

  View on GitHub
  Lifting Reduction Semantics through Syntactic Sugar
  ☆13May 13, 2018Updated 7 years ago
• darchr / Keystone-experiments

  View on GitHub
  ☆11Jun 11, 2021Updated 4 years ago
• scala-subscript / subscript

  View on GitHub
  ☆10Jul 16, 2017Updated 8 years ago
• Neronus / CL-CUDD

  View on GitHub
  Common lisp bindings to CUDD.
  ☆13Jan 3, 2018Updated 8 years ago
• ndahlquist / raytracer

  View on GitHub
  Android CPU Raytracer
  ☆11Feb 23, 2020Updated 6 years ago
• rewriting / tom

  View on GitHub
  ☆34Oct 12, 2020Updated 5 years ago
• microsoft / glinthawk

  View on GitHub
  An LLM inference engine, written in C++
  ☆18Feb 5, 2026Updated 3 weeks ago
• Shinmera / forge

  View on GitHub
  A general, modular build system.
  ☆18Aug 13, 2025Updated 6 months ago
• pbailis / bolton-sigmod2013-code

  View on GitHub
  EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
  ☆12Nov 2, 2013Updated 12 years ago
• tomka / mitsuba-renderer

  View on GitHub
  A mirror of the upstream mercurial repository plus some own modifications.
  ☆18May 18, 2012Updated 13 years ago
• triska / clpb

  View on GitHub
  Boolean Constraint Solving in Prolog
  ☆48Dec 8, 2024Updated last year
• kisom / cl-feedparse

  View on GitHub
  Common Lisp library to parse Atom and RSS feeds.
  ☆12Apr 10, 2015Updated 10 years ago
• skivm / ski

  View on GitHub
  SKI virtual machine for testing concurrency bugs
  ☆13Nov 25, 2015Updated 10 years ago
• vlab-cs-ucsb / LibStranger

  View on GitHub
  ☆12Jan 8, 2016Updated 10 years ago
• wilbowma / experimenting-with-redex

  View on GitHub
  A Redex tutorial with a focus on how to do work in Redex
  ☆11Oct 21, 2024Updated last year
• jorams / cl-shellwords

  View on GitHub
  Common Lisp library to escape strings for the shell, or split strings according to shell rules.
  ☆13Sep 20, 2015Updated 10 years ago
• RemuLang / remu-type-system

  View on GitHub
  type-system, revised unification algorithm and runtime time representations
  ☆14Dec 12, 2019Updated 6 years ago
• npatrick04 / fixed

  View on GitHub
  Common Lisp fixed-point number type
  ☆10Jan 6, 2017Updated 9 years ago
• rocq-community / buchberger

  View on GitHub
  Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
  ☆11Dec 30, 2023Updated 2 years ago
• renard / cl-cli

  View on GitHub
  first attempt for a common lisp argument parser
  ☆17Dec 8, 2015Updated 10 years ago
• PSAL-POSTECH / accelsim_HMS

  View on GitHub
  ☆11Jul 2, 2024Updated last year