Algorithm-archive / Learn-Data_Structure-Algorithm-by-Java
Data Structure and Algorithm explanations with Implementations by Java
☆16Updated 7 years ago
Alternatives and similar repositories for Learn-Data_Structure-Algorithm-by-Java:
Users that are interested in Learn-Data_Structure-Algorithm-by-Java are comparing it to the libraries listed below
- My solutions to Elements of Programming Interviews☆76Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10Updated 4 years ago
- Formalization of some elementary mathematical theories in Coq☆14Updated 4 years ago
- Arete is an experimental programming language.☆12Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Updated 6 years ago
- Haskell implementation of HyperLogLog++ & MinHash for efficient cardinality and intersection estimation☆12Updated 8 years ago
- Graded Dependent Type systems☆24Updated last year
- Implementation of Quantitative Type Theory (in TypeScript)☆12Updated 4 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- Experiments in abstracting definitional interpreters☆16Updated 7 years ago
- A small NuPRL style proof assistant☆31Updated 6 years ago
- Wildfire "simulation" with co-state co-monads representing cellular automata☆10Updated 8 years ago
- Compositional type checking for a Hindley-Milner type system☆11Updated 7 years ago
- Dafny for Metatheory of Programming Languages☆23Updated last week
- The code for the Java multithreading course by John Purcell from Cave of Programming http://www.caveofprogramming.com/library/index.html☆44Updated 10 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- A http client for Idris based on libcurl☆10Updated 8 years ago
- A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]☆10Updated 4 years ago
- Small async library for idris2, inspired by purescript-aff☆8Updated 3 years ago
- Java solutions to problems in the book "Elements of programming interviews"☆61Updated 2 years ago
- Directed rounding and interval arithmetics with builtin floating types☆11Updated 2 years ago
- Generalized syntax & semantics for universe hierarchies☆29Updated last year
- Toy database project in C☆13Updated 10 months ago
- ☆23Updated 7 years ago
- This repo uses three simple services to illustrate how most distributed microservice architecture systems work. We use Go for creating a …☆87Updated 2 years ago
- Conference on Homotopy Type Theory 2019☆15Updated 5 years ago
- A small profunctor library for idris☆17Updated 2 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 5 years ago
- Type level algebraic "proofs" using lens combinators☆19Updated 5 years ago