☆23Oct 17, 2021Updated 4 years ago
Alternatives and similar repositories for Inf2D-cw1--autotester
Users that are interested in Inf2D-cw1--autotester are comparing it to the libraries listed below
Sorting:
- University of Edinburgh Programming Club☆58Sep 30, 2020Updated 5 years ago
- R script which gives an overview of R through code and code comments.☆18Jan 14, 2019Updated 7 years ago
- In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…☆479Dec 15, 2023Updated 2 years ago
- A toolkit for pre-processing large source code corpora☆45Sep 30, 2022Updated 3 years ago
- A GitHub Action for suggesting Python type annotations.☆42Mar 23, 2023Updated 2 years ago
- A new Categories library for Agda☆401Mar 14, 2026Updated last week
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆73Feb 4, 2026Updated last month
- Project Euler solutions in Python, Haskell, Ruby, Rust, and more.☆151Apr 10, 2025Updated 11 months ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Feb 16, 2024Updated 2 years ago
- An introduction to programming language theory in Agda☆1,497Updated this week
- ☆146Aug 27, 2019Updated 6 years ago
- Generalized bananas, lenses and barbed wire☆353Feb 14, 2026Updated last month
- Python-based Project Euler command line tool.☆554Sep 13, 2022Updated 3 years ago
- Jupyter notebooks for the Julia Scientific Programming course on Coursera☆237May 31, 2019Updated 6 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆377Mar 14, 2026Updated last week
- Handouts and code for the meetups.☆161Feb 22, 2025Updated last year
- Simple plotting library that wraps Matplotlib and integrated with DataFrames☆231Nov 4, 2020Updated 5 years ago
- Web Extension: Easily find Hacker News discussions about the page you're currently browsing.☆275Feb 28, 2025Updated last year
- GCP Hackathon Toolkit☆462Mar 12, 2026Updated last week
- CodeWorkout: a programming practice and self-study web site☆240Updated this week
- A Testing Framework for Haskell☆783Mar 7, 2026Updated 2 weeks ago
- A list of compilers that can generate C code☆772Nov 16, 2023Updated 2 years ago
- Dead easy interface for executing many HTTP requests asynchronously. Also provides helper functions for executing embarrassingly parallel…☆385Mar 23, 2021Updated 4 years ago
- A cli tool to convert and manage jupyter notebook blogs. Proudly host your notebooks even as a static site.☆416Jul 6, 2022Updated 3 years ago
- This repository contains curated technical interview questions by fn+geeks community☆321Oct 7, 2025Updated 5 months ago
- Code for paper " AdderNet: Do We Really Need Multiplications in Deep Learning?"☆966Mar 19, 2022Updated 4 years ago
- A monadic parser combinator library☆881Jun 12, 2025Updated 9 months ago
- Reinforcement learning environments for compiler and program optimization tasks☆996Mar 14, 2026Updated last week
- Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial☆485Jan 10, 2021Updated 5 years ago
- Middleware for Starlette that allows you to store and access the context data of a request. Can be used with logging so logs automaticall…☆610Feb 28, 2026Updated 3 weeks ago
- Learn the skills required to sysadmin a remote Linux server from the commandline.☆3,415Mar 1, 2021Updated 5 years ago
- Rewrites source to reorder python imports☆775Dec 22, 2025Updated 3 months ago
- Haskell source code suggestions☆1,580Dec 27, 2025Updated 2 months ago
- Ongoing research training transformer language models at scale, including: BERT & GPT-2☆2,236Aug 14, 2025Updated 7 months ago
- How to make CPython faster.☆956Oct 29, 2022Updated 3 years ago
- Annotate with anyone, anywhere.☆3,124Mar 11, 2026Updated last week
- This repository contains the pseudocode(pdf) of various algorithms and data structures necessary for Interview Preparation and Competitiv…☆779Apr 21, 2024Updated last year
- NoteCalc is a handy calculator trying to bring the advantages of Soulver to the web.☆1,185Mar 12, 2026Updated last week
- a colorscheme, wallpaper and template manager for *nix☆2,175Feb 6, 2026Updated last month