lastland/BasketballGym lastland/BasketballGym

  • Stars
    star
    2
  • Language
    C++
  • Created over 12 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lastland/BasketballGym
github

lastland

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My assignment for Computer Graphics course

More Repositories

1

scala-forklift

Type-safe data migration tool for Slick, Git and beyond.
Scala
188
star
2

ClairvoyanceMonad

The Coq formalization of the paper Reasoning about the garden of forking paths.
Coq
24
star
3

Tricks-Museum

a collection for interesting code tricks
C
24
star
4

WebSpec

Coq
18
star
5

scala-forklift-quill

A demonstration of using Scala-Forklift to support database migrations on Quill.
Scala
12
star
6

MINIX-3.1.7-Lottery-Scheduler

A patch to implement lottery scheduling policy on MINIX 3.1.7.
11
star
7

HaskellTheoremProver

A theorem proving framework for intuitionistic and classical propositional logics in Haskell.
Haskell
7
star
8

ScalaHDL2

The second version of ScalaHDL. Scala style!
Scala
6
star
9

DTScala

Dependent Types in Scala
Scala
6
star
10

play-slick-forklift-example

An example of doing database migration using play, play-slick, and scala-forklift.
Scala
5
star
11

Network-Assignments

My assignments for Jingyu Zhou's network course.
C++
4
star
12

p

A lite version of Linux ps command
C
3
star
13

ScalaHDL

Scala
3
star
14

PTSemForEffects

A Coq formalization of the paper "A Predicate Transformer Semantics for Effects (Functional Pearl)"
Coq
3
star
15

rrpostgetter

统计人人网热门日志的常见词语及其出现频率
3
star
16

Life-clj

A simple implementation of Conway's Game of Life in Clojure.
Clojure
2
star
17

my-notes

my notes on books, courses, and others.
CSS
2
star
18

ClassExchange

PHP
2
star
19

ImageProcessor

My assignment for Image Process course
C++
2
star
20

lastland.github.io

Personal web page.
HTML
2
star
21

AskWord

a simple program to ask me gre words
Scala
1
star
22

scala-forklift-start-template

Start template for Scala-Forklift.
Scala
1
star
23

mdexe

Markdown can be executed
Python
1
star
24

FPScala

Scala
1
star
25

pl-blog

TeX
1
star
26

99ProblemsScala

my solutions to 99 Scala Problems(http://aperiodic.net/phil/scala/s-99/)
Scala
1
star
27

ProgramAdverbs

The Coq formalization of the paper Program Adverbs and Tlön Embeddings by Yao Li and Stephanie Weirich, published at ICFP 2022.
Coq
1
star
28

GitHubRepoCrawler

Scala
1
star
29

CSDI-Papers-Notes

my personal notes for papers read for CSDI course
TeX
1
star
30

FPInPL

A collection of FP concepts in languages other than traditional functional languages.
Scala
1
star
31

my-linux-conf

My Linux configuration files
Shell
1
star
32

generic-vale

Makefile
1
star