Alternatives and similar repositories for cs-thesis

Users that are interested in cs-thesis are comparing it to the libraries listed below

• shoudai / bib-satysfi

  View on GitHub
  Citation in SATySFi like BibTeX
  ☆12Oct 5, 2019Updated 6 years ago
• amutake / docker-satysfi

  View on GitHub
  Docker images for SATySFi and Satyrographos
  ☆26Dec 11, 2025Updated 2 months ago
• wejournal / lamb

  View on GitHub
  A statically typed and lazy evaluated implementation of Lambda Calculus.
  ☆21Sep 15, 2018Updated 7 years ago
• monaqa / satysfi-easytable

  View on GitHub
  A SATySFi package to build simple tables.
  ☆17Apr 30, 2022Updated 3 years ago
• seccamp / seccamp.jp

  View on GitHub
  Unofficial website of security camp
  ☆14Aug 19, 2025Updated 5 months ago
• konn / satysfi-steamer

  View on GitHub
  Steamer: presentation in SATySFi
  ☆14May 9, 2019Updated 6 years ago
• seccamp2018-tls13 / seccamp2018-tls13

  View on GitHub
  XII : TLS1.3/暗号ゼミ [全国大会2018-集中開発コース]
  ☆16Dec 22, 2018Updated 7 years ago
• gfngfn / the_satysfibook

  View on GitHub
  The manuscript for The SATySFi​book (1st edition for the Web)
  ☆36Aug 27, 2024Updated last year
• monaqa / slydifi

  View on GitHub
  Create a slide with SATySFi!
  ☆56Dec 16, 2022Updated 3 years ago
• nekketsuuu / satysfi-matrix

  View on GitHub
  Math matrix library for SATySFi
  ☆14Oct 15, 2019Updated 6 years ago
• nyuichi / satysfi-base

  View on GitHub
  complementary collection of useful functions and modules for SATySFi
  ☆32Apr 7, 2024Updated last year
• puripuri2100 / mdbook-satysfi

  View on GitHub
  A mdbook backend for generating SATySFi documents.
  ☆19Feb 5, 2023Updated 3 years ago
• sp4ghet / raytracing_in_one_weekend

  View on GitHub
  Raytracing in One Weekend in GLSL using veda
  ☆22Jun 5, 2020Updated 5 years ago
• Yoshiharu-Ikutani / DecodingCodeFromTheBrain

  View on GitHub
  MATLAB code used for preprocessing and decoding analyses in our paper: "Expert programmers have fine-tuned cortical representations of so…
  ☆11Dec 2, 2020Updated 5 years ago
• qnighy / logic-solver-rs

  View on GitHub
  ☆46Jan 9, 2023Updated 3 years ago
• m3dev / techbook-templete

  View on GitHub
  m3 techbook templete
  ☆10May 2, 2023Updated 2 years ago
• tmu-nlp / paraphrase-corpus

  View on GitHub
  Tokyo Metropolitan University Paraphrase Corpus (TMUP)
  ☆11Jun 12, 2017Updated 8 years ago
• yutkat / dps-coding-now.nvim

  View on GitHub
  Synchronize the filetype you are coding with the GitHub messages
  ☆12Apr 20, 2021Updated 4 years ago
• primenumber / kazoeage-oneesan-cuda

  View on GitHub
  GPGPU version of 数え上げお姉さん(https://github.com/primenumber/kazoeage-oneesan)
  ☆11Dec 3, 2021Updated 4 years ago
• SnO2WMaN / satyxin

  View on GitHub
  Are you SATySFi-ed with Nix?
  ☆14Mar 6, 2023Updated 2 years ago
• ntddk / angr-doc-ja

  View on GitHub
  ☆10Oct 30, 2016Updated 9 years ago
• takonomura / nasa.so

  View on GitHub
  なさそう
  ☆11Apr 30, 2024Updated last year
• kaityo256 / pptxgrep

  View on GitHub
  Find keywords in pptx files.
  ☆11Feb 21, 2019Updated 6 years ago
• na4zagin3 / satyrographos

  View on GitHub
  Package manager for SATySFi
  ☆48Sep 25, 2023Updated 2 years ago
• maekawatoshiki / lit-x86

  View on GitHub
  Lit is a programming language designed fast & light weight with LLVM
  ☆26Mar 15, 2017Updated 8 years ago
• uetchy / binyl

  View on GitHub
  🔬 Bitwise UTF-8 string inspector
  ☆12Mar 7, 2022Updated 3 years ago
• fetburner / type-infer

  View on GitHub
  A Formal Verification of Algorithm W
  ☆17Mar 10, 2021Updated 4 years ago
• MasWag / pandoc-satysfi-template

  View on GitHub
  A pandoc custom writer and template for SATySFi
  ☆10Updated this week
• theoria24 / TootCloud

  View on GitHub
  あなたのトゥートからワードクラウドを作成
  ☆14Mar 22, 2024Updated last year
• qnighy / satysfi-cross-windows

  View on GitHub
  Crosscompiling SATySFi from Ubuntu to Windows
  ☆16Jul 8, 2018Updated 7 years ago
• tinyco / tiny_code_editor

  View on GitHub
  code editor in console.
  ☆15Jan 10, 2017Updated 9 years ago
• yuki-yano / dps-slack-status.vim

  View on GitHub
  ☆14May 27, 2021Updated 4 years ago
• 0918nobita / psyche-fs

  View on GitHub
  Programming language
  ☆13Dec 6, 2020Updated 5 years ago
• ocaml-ppx / ocaml-syntax-shims

  View on GitHub
  Backport new syntax to older compilers
  ☆14Dec 9, 2019Updated 6 years ago
• todesking / typesafe_parser

  View on GitHub
  An experimental TypeScript parser combinator library. Powered by template literal types(TS 4.1+).
  ☆15Dec 20, 2020Updated 5 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• tsg-ut / tsgctf

  View on GitHub
  The full set of files that supported TSG CTF challenges
  ☆32Dec 8, 2019Updated 6 years ago
• melpon / myself-release-notes

  View on GitHub
  じぶんリリースノート
  ☆10Oct 1, 2020Updated 5 years ago
• akabe / docker-iocaml-datascience

  View on GitHub
  Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
  ☆28Sep 5, 2017Updated 8 years ago