Highlights
- Pro
-
epfl-nlp.github.io Public
Forked from epfl-nlp/epfl-nlp.github.ioEPFL's NLP lab website
HTML Apache License 2.0 UpdatedAug 3, 2024 -
-
-
lean-training-data Public
Forked from kim-em/lean-training-dataLean Apache License 2.0 UpdatedFeb 27, 2024 -
lisa Public
Forked from epfl-lara/lisaProof assistant based on first-order logic and set theory
Scala Apache License 2.0 UpdatedFeb 12, 2024 -
stainless-codespaces Public
Forked from samuelchassot/stainless-codespacesExample repo to work with Stainless in Github Codespaces
Dockerfile UpdatedSep 29, 2023 -
-
cypridict Public
Forked from danecor/cypridictA prioritized dictionary in cython (updateable priority queue).
C UpdatedFeb 11, 2023 -
-
Reinforcement-Learning-Maze Public
Forked from erikdelange/Reinforcement-Learning-MazeVarious ways to learn a computer to escape from a maze. From random walk to a simple neural network.
Python MIT License UpdatedNov 22, 2022 -
-
ML_course Public
Forked from epfml/ML_courseEPFL Machine Learning Course, Fall 2021
Jupyter Notebook UpdatedJan 11, 2022 -
PointNav-VO Public
Forked from Xiaoming-Zhao/PointNav-VO[ICCV2021] The Surprising Effectiveness of Visual Odometry Techniques for Embodied PointGoal Navigation.
Python Apache License 2.0 UpdatedDec 23, 2021 -
public Public
Forked from sweng-epfl/publicSwEng materials for the public
Java Other UpdatedDec 17, 2021 -
CS453-2021-project Public
Forked from LPD-EPFL/CS453-2021-projectConcurrent Algorithms Project 2021
C++ UpdatedDec 5, 2021 -
CS-423 Distributed Information Systems
Jupyter Notebook UpdatedOct 4, 2021 -
ci-exercise-app Public
Forked from alexandrepiveteau/sweng-epfl-ci-exercise-appA sample Android app that does not have Continuous Integration yet
Kotlin UpdatedOct 2, 2021 -
SpringChallenge2021 Public
Forked from CodinGame/SpringChallenge2021JavaScript UpdatedMay 10, 2021 -
Project-graph-neural-net Public
Forked from mlelarge/graph_neural_netExpressive Power of Invariant and Equivaraint Graph Neural Networks (ICLR 2021)
Python UpdatedMar 9, 2021 -
-
set.mm Public
Forked from metamath/set.mmMetamath source file for logic and set theory
Objective-C++ Creative Commons Zero v1.0 Universal UpdatedJul 21, 2020