srijan-paul/boa srijan-paul/boa

  • Stars
    star
    1
  • Language
    Python
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
srijan-paul/boa
github

srijan-paul

Reviews

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

Repository Details

A type checker and compiler for python that is capable of inferring types and performing flow sensitive type checking.

More Repositories

1

nez

An emulator for the NES. For fun and profit and all that.
Zig
48
star
2

snap

An embeddable scripting language inspired by Lua.
C++
44
star
3

tinyjit

Educational JIT compiler for ARM64 in Zig.
Zig
40
star
4

bark

A static site generator that powers my blog
Haskell
13
star
5

tsfun

Repository for my talk about type level programming in TypeScript
TypeScript
7
star
6

meep

A programming language that compiles to brainfuck.
Brainfuck
7
star
7

AveTS

A type-checked scripting language that compiles to Javascript.
TypeScript
6
star
8

frametap

Cross platform screen capture library
Zig
6
star
9

bullet_hell

an unnamed bullet hell game written in Lua, using the LÖVE game engine.
Lua
4
star
10

shriek

A horror indie game
Lua
3
star
11

Bonkyon

Lua
3
star
12

eel

A rich text editor library for web applications.
TypeScript
3
star
13

Monparsing-paper

Haskell implementation of Graham Hutton's monadic parser combinator paper.
Haskell
3
star
14

BitHounds

A decentralized card collection game on the tezos blockchain.
TypeScript
2
star
15

fourier-sketch

An educational web-app that uses the fourier series to approximate user drawn sketches.
TypeScript
2
star
16

json-parser

A simple and fast JSON parser written in C.
C
2
star
17

DFC-Discord-bot

A simple and fun discord bot for my discord channel.
JavaScript
1
star
18

vyse

Documentation for the snap programming language
HTML
1
star
19

murr

A tool that reports vulnerable packages in your node.js projects.
PureScript
1
star
20

pastebin-clone

A full stack pastebin clone made using the MERN stack.
JavaScript
1
star
21

woot

A social media app like twitter and reddit made with Express, NodeJS, EJS and MongoDB.
JavaScript
1
star
22

codecrafters-git-go

Go
1
star
23

Love2D-experimental-sandbox

A sandbox to experiment with some common gameplay mechanics in Love2d. Might evolve into a small game , who knows.
Lua
1
star
24

bad-code-dont-look

School lab work :(
HTML
1
star
25

srijan-paul

me
1
star
26

Ave

A compile-To-JS language that lets you write javasript code in a modern syntax
JavaScript
1
star
27

nicedear

A library that generates random avatars. Obvious dicebear rip-off.
TypeScript
1
star