Alternatives and similar repositories for probprog19

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

• hongseok-yang / graduatePL19

  View on GitHub
  ☆19Dec 13, 2019Updated 6 years ago
• hongseok-yang / probprog20

  View on GitHub
  ☆35Jun 21, 2020Updated 5 years ago
• JWoong148 / MetaPerturb

  View on GitHub
  Pytorch implementation of “MetaPerturb: Transferable Regularizer for Heterogeneous Tasks and Architectures” (NeurIPS 2020 spotlight)
  ☆13Jul 22, 2021Updated 4 years ago
• prosyslab-classroom / is593-language-based-security

  View on GitHub
  ☆28Aug 14, 2023Updated 2 years ago
• anirudh9119 / neural_production_systems

  View on GitHub
  ☆15Feb 12, 2021Updated 5 years ago
• hongseok-yang / graduatePL18

  View on GitHub
  ☆67Dec 11, 2018Updated 7 years ago
• FormalLanguageConstrainedPathQuerying / CFPQ_PyAlgo

  View on GitHub
  The collection of Context-Free Path Querying algorithms
  ☆14Dec 16, 2025Updated 2 months ago
• haskell-kr / haskell-kr

  View on GitHub
  하스켈 모임 웹사이트 소스 코드
  ☆16Dec 8, 2021Updated 4 years ago
• ucpcc / 2022

  View on GitHub
  UCPC 2022 사이트
  ☆14Apr 15, 2023Updated 2 years ago
• RanolP / boj

  View on GitHub
  modern problem-solvers require modern toolchains.
  ☆17Aug 14, 2021Updated 4 years ago
• storycraft / loco-protocol-rs

  View on GitHub
  Pure Rust Loco protocol implemention
  ☆21Oct 15, 2023Updated 2 years ago
• hongseok-yang / logic21

  View on GitHub
  ☆23Jun 18, 2021Updated 4 years ago
• OriRoth / fling

  View on GitHub
  A fluent API generator
  ☆26Jan 26, 2026Updated 3 weeks ago
• TruX-DTF / fixminer_source

  View on GitHub
  Mining Relevant Fix Patterns for Automated Program Repair
  ☆31Dec 14, 2022Updated 3 years ago
• ashaw596 / meta_architecture_search

  View on GitHub
  ☆21Oct 27, 2019Updated 6 years ago
• royreznik / plugnik

  View on GitHub
  PlugNik is a simple implementation of plugin repository for JetBrains Application.
  ☆12Oct 9, 2021Updated 4 years ago
• CubbyFlow / RustyFlow

  View on GitHub
  Re-implementation of CubbyFlow in Rust
  ☆27Jun 24, 2021Updated 4 years ago
• OriRoth / flunct

  View on GitHub
  A functional fluent API generator
  ☆36Dec 30, 2022Updated 3 years ago
• Ucombinator / parsing-with-zippers

  View on GitHub
  A clean implementation of Parsing with Zippers.
  ☆38Sep 22, 2018Updated 7 years ago
• kaist-cp / helpdesk

  View on GitHub
  ☆23Apr 1, 2021Updated 4 years ago
• JQIamo / SetList

  View on GitHub
  LabVIEW control for BEC experiments
  ☆12Aug 6, 2019Updated 6 years ago
• SkuldNorniern / cetana

  View on GitHub
  An advanced machine learning library empowering developers to build intelligent applications with ease.
  ☆14Feb 8, 2026Updated last week
• lego0901 / Woosung-Vim-LaTeX

  View on GitHub
  Vim에서 LaTeX 사용하기위한 미니멀한 세팅
  ☆10Jun 19, 2020Updated 5 years ago
• AudiosurfResearch / Wavebreaker

  View on GitHub
  Audiosurf 1 server replacement written in TypeScript using node.js, Fastify and Prisma.
  ☆17Jan 23, 2026Updated 3 weeks ago
• cristiantela / iframessa

  View on GitHub
  Communicate between iframes and application
  ☆15Mar 23, 2023Updated 2 years ago
• hanbin973 / scIntegral

  View on GitHub
  Highly scalable integration and classification of single-cell RNA sequencing data
  ☆10Dec 27, 2020Updated 5 years ago
• ChuanMeng / RLT4Reranking

  View on GitHub
  ☆12Nov 22, 2024Updated last year
• ghudegy / 2018

  View on GitHub
  구데기컵 @ Baekjoon Online Judge
  ☆35Mar 13, 2023Updated 2 years ago
• mgorinova / autoreparam

  View on GitHub
  Automatic Reparameterisation of Probabilistic Programs
  ☆36Jun 11, 2020Updated 5 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• alexmorley / graphical-notebooks

  View on GitHub
  ☆11May 8, 2019Updated 6 years ago
• madgen / exalog

  View on GitHub
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Jun 24, 2020Updated 5 years ago
• Pranab-JD / LeXInt

  View on GitHub
  Time Integration Package
  ☆11Dec 17, 2024Updated last year
• mschlund / FPsolve

  View on GitHub
  FPsolve: solver for polynomial equations over omega-continuous semirings
  ☆11Aug 15, 2015Updated 10 years ago
• fisherdarling / do-proxy

  View on GitHub
  A library for writing type-safe Durable Objects in Rust.
  ☆15Nov 20, 2022Updated 3 years ago
• ricardoej / dynamic_bandwidth_manager

  View on GitHub
  Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …
  ☆11Aug 29, 2017Updated 8 years ago
• peterstefanov / paillier

  View on GitHub
  Java implementation of Paillier algorithm. This is one of the few known system that preserves additive homomorphic properties. JCA Pailli…
  ☆11Jan 29, 2019Updated 7 years ago
• navilera / 318Na_HangulKeyboard

  View on GitHub
  Korean Hangul 3beol Keyboard layout
  ☆12Nov 28, 2022Updated 3 years ago
• jacking75 / wsl_docs

  View on GitHub
  WSL 관련 문서
  ☆12May 1, 2022Updated 3 years ago