cscareers-dev / summer-2021-internshipsView external linksLinks
☆73Aug 27, 2020Updated 5 years ago
Alternatives and similar repositories for summer-2021-internships
Users that are interested in summer-2021-internships are comparing it to the libraries listed below
Sorting:
- Career Page Monitor for monitoring career pages of multiple companies to help job seekers during the current Tech recession☆19Mar 29, 2023Updated 2 years ago
- Code for the paper "SMACE: A New Method for the Interpretability of Composite Decision Systems", ECML 2022☆15Apr 17, 2023Updated 2 years ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated 3 weeks ago
- ☆10Nov 14, 2022Updated 3 years ago
- This is the official repository for NUS Statistics Society's Facemask Detection Workshop, held on 17th September 2020.☆10Aug 5, 2021Updated 4 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Julia API for interacting with Anki☆13Jun 7, 2021Updated 4 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 9 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- A website to rate, review & track all your music!☆24Updated this week
- SPM toolchain to cross compile macOS Swift binaries on a Raspberry Pi (yes, you read that right)☆12Feb 2, 2018Updated 8 years ago
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 3 years ago
- Analyzing Stock Movements using Markov Chains and Monte Carlo Simulation☆12Dec 25, 2016Updated 9 years ago
- Temporal Predictive Coding For Model-Based Planning In Latent Space (ICML-2021)☆13Jul 22, 2024Updated last year
- ☆11Apr 19, 2019Updated 6 years ago
- programming language compiler w/ llvm☆13Nov 18, 2017Updated 8 years ago
- Solving the misinformation problem in the information age using machine learning.☆10Dec 8, 2022Updated 3 years ago
- Live coding in Reveal.js☆17Aug 9, 2016Updated 9 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆11Feb 22, 2025Updated 11 months ago
- ☆11May 2, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- Convert internet traffic to music.☆23Feb 22, 2014Updated 11 years ago
- Published assets for Cockroach Labs user interfaces☆20Jan 23, 2025Updated last year
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Turkish fork of Semantle☆12Oct 3, 2024Updated last year
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 8 months ago
- ☆12Jun 13, 2023Updated 2 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- piggybacking on the Dafny language implementation to explore interactive semi-automated verified program synthesis, combining LLMs and sy…☆16Feb 10, 2026Updated last week
- Tool to find civic tech jobs with Digital Services Coalition firms.☆13Dec 12, 2025Updated 2 months ago
- Repo for quick AST transformation nonsense.☆13Nov 23, 2021Updated 4 years ago