mununki/spice-compiler mununki/spice-compiler

  • Stars
    star
    3
  • Rank 3,863,294 (Top 78 %)
  • Language
    OCaml
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mununki/spice-compiler
github

mununki

Reviews

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

Repository Details

A compiler implementing the type inference of Hindley–Milner type system

More Repositories

1

rust_graphql_api_boilerplate

A Boilerplate of GraphQL API built in Rust + Warp + Juniper + Diesel
Rust
95
star
2

go-graphql-api-boilerplate

A Boilerplate of GraphQL API built in Go + graphql-go + gorm
Go
80
star
3

nextjs-with-lambda

Next.js example with deploying to AWS Lambda
JavaScript
57
star
4

gqlmerge

A tool to merge & stitch the modularized GraphQL schema files into one schema
Go
53
star
5

gw

A Wrapper of a command to watch any changes in filesystem
Go
16
star
6

moonbit-wasm-game-of-life

Game of life in MoonBit
JavaScript
15
star
7

react-redux-saga-boilerplate

A Boilerplate with React.JS / Redux / Redux Saga / Typescript
TypeScript
13
star
8

flask_graphql_api_boilerplate

A Flask + GraphQL API with JWT
Python
11
star
9

nextjs_with-redux-localStorage

Next.js Example of using auth token in localStorage with redux
JavaScript
8
star
10

RateLink-Lambda-Zappa

Serverless GraphQL API powered by Zappa
7
star
11

rust_front_matter_parser

A parser of the front matter in markdown files built with Rust
Rust
7
star
12

simple-react-cropper

Simple React image cropper with cropper.js
TypeScript
4
star
13

RateLink-Backend_v2

RateLink backend with Prisma server + GraphQL API + Typescript + Docker
TypeScript
3
star
14

practice-react-hooks

A tiny example of the React Hooks - How to replace the React Redux
JavaScript
3
star
15

RateLink-Frontend

RateLink Frontend with Next.js + GraphQL(Apollo)
JavaScript
3
star
16

purescript-by-exercises

PureScript
2
star
17

RateLink-Mobile_v2

RateLink Mobile App with React Native + GraphQL(Apollo-Client)
JavaScript
2
star
18

posts

A blog posts
2
star
19

godot_dodge

Godot tutorial: First game
GDScript
2
star
20

nextjs_blog

The humble sample of NEXT.js blog as static html app
JavaScript
2
star
21

template-react-native

A template for new React Native project
TypeScript
2
star
22

RateLink-Search_V2

React.js + Apollo(graphQL)
JavaScript
1
star
23

RateLink-Mobile

React Native + Expo
JavaScript
1
star
24

go-cors

A module to help to set up CORS for Go API or web Server
Go
1
star
25

PasswordHasher.SHA256.ASP.NET.CORE.Identity

A NuGet package to use the custom password hasher - SHA256 & BASE64 encoding
C#
1
star
26

aoc-clojure

A practice of clojure
Clojure
1
star
27

lazy-in-reasonreact

Example
JavaScript
1
star
28

react-simple-click-outside

Simple click outside handler for React
JavaScript
1
star
29

gatsby-reason-starter

A starter of Gatsby with ReasonML
Reason
1
star
30

react-jsx-ppx-v4

Example project for react-jsx ppx v4
ReScript
1
star
31

lambda-warmer

A lambda function to warm another lambda function
JavaScript
1
star
32

ts-graphql-api-boilerplate

A Typescript GraphQL API Boilerplate with GraphQL-Yoga, typeORM, JWT
TypeScript
1
star
33

godot-web-smg3

JavaScript
1
star
34

mdx_metaString

reproduce metaString="" injection into DOM which causes React warning
JavaScript
1
star
35

hoodux

Hoodux is a helper to replace the React Redux with React hooks
JavaScript
1
star
36

godot-web-smg1

JavaScript
1
star
37

RateLink-Backend

Django + REST API + Graphene project deployed to AWS and Lambda
HTML
1
star
38

RateLink-Chart_V2

React.js + Apollo rendering charts with querying data
JavaScript
1
star
39

homebrew-tools

A repo to distribute my binaries through Homebrew
Ruby
1
star
40

RateLink_Search

Main Page for RateLink (https://www.rate-link.com)
JavaScript
1
star
41

webpack-react-starter-kit

A Webpack starter-kit for React dev environment
JavaScript
1
star