hongfz16/FZLambda hongfz16/FZLambda

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hongfz16/FZLambda
github

hongfz16

Reviews

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

Repository Details

Lambda Expression Evaluation and Type Check Implemented by Haskell

More Repositories

1

AvatarCLIP

[SIGGRAPH 2022 Journal Track] AvatarCLIP: Zero-Shot Text-Driven Generation and Animation of 3D Avatars
Python
939
star
2

EVA3D

[ICLR 2023 Spotlight] EVA3D: Compositional 3D Human Generation from 2D Image Collections
Python
458
star
3

DS-Net

[CVPR 2021] Rank 1st in the public leaderboard of SemanticKITTI Panoptic Segmentation (2020-11-16)
Python
219
star
4

Garment4D

[NeurIPS 2021] Garment4D: Garment Reconstruction from Point Cloud Sequences
Python
121
star
5

HCMoCo

[CVPR 2022 Oral] Versatile Multi-Modal Pre-Training for Human-Centric Perception
Python
110
star
6

Pointnet-TextCNN

Point cloud classification and segmentation based on pointnet and textcnn
Python
5
star
7

AutomonousDrivingHW

Homework of Autonomous Driving
C++
4
star
8

Tornado-Monitor-System

2018 Summer Python Project. An Intelligent Monitor Platform Based on Tornado.
Python
4
star
9

neural_renderer

Modified version of neural_renderer for AvatarCLIP
Python
3
star
10

AssemblyPlayStation

This is a repo for our assembly project which is a bootable os with multiple games.
Assembly
3
star
11

ShadowCompiler

Project for Computer Network(2) -- Compiler Part
C++
2
star
12

xv6-e1000-driver

add nic support for xv6
C
2
star
13

minimum-ftp

A simple ftp server and client which only implement minimum function.
Python
2
star
14

2017_spring_notepad_playground

C++
1
star
15

mysite-LearningDjango

A simple blog build by django while learn it.
Python
1
star
16

DA-A2

Data Structure & Algorithm 2
C++
1
star
17

Notepad

A very simple text editor based on MFC (Software Engineering 2 team project)
HTML
1
star
18

Data-Structure-2-Project

Repository for Data Structure and Algorithm projects
C++
1
star
19

Astroid-Wechat-Game

Classic game Astroid in Wechat-Game platform
JavaScript
1
star
20

20171021-ETC-RiYueShenJiao

1
star
21

FlightControl

A fight control system based on STM32
C
1
star
22

xv6-comment

Commented xv6 source code.
C
1
star
23

TfMnistDataset

TensorFlow Mnist Dataset
1
star
24

DataStructureAndAlgorithm-1-

2017秋季学期数据结构与算法（1）实验
C++
1
star
25

2016_nand2tetris

Assembly
1
star
26

WeChatTicket-THSSOJ

Python
1
star