mmirman Goto Github PK

awesome-pytorch-list

A comprehensive list of pytorch related content on github,such as different models,implementations,helper libraries,tutorials etc.

buff

Intelligent customer support bot

caledon

higher order dependently typed logic programing

class-lambda

Dependently typed logic programming in meta-haskell!

cmu-skillswap-2012

A two node guess the number game, where there shall be NO PEEKING.

code_of_conduct

CELO CODE OF CONDUCT

conpig

A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets

forward-chan

Haskell channels with the forwarding primitive

haskogeneous

A web framework a bit like GWT but for Haskell

imperativehaskell

Proof that Haskell can look and act like an imperative language.

korma

A functional logical programming language

korma-private

lambda-placeholders

A Haskell library to emulate Scala's placeholder syntax feature.

lethargic-python

Non-strict, finite thunk pool lazyness for python.

lisp

My elisp repository

mathslax

Slack plugin to render math using MathJax

mentisoculi

A raytracer written in PyTorch (raynet?)

mmirman.github.io

My personal jekyll site

mops

Monads and Sums in python

neveragaindottech.github.io

Source files for the neveragain.tech site

nice2predict

Learning framework for program property prediction

nnweights

octocat-3d

I wanted an octocat toy but couldn't find one. So I made one. Sorta.

ollibot

An implementation of substructural intuitionistic logic focused on forward chaining

optix-pathtracer

Simple physically based path tracer based on Nvidia's Optix Ray Tracing Engine

order

ordered logic thesis work

raskell

Haskell with Ordered logic

regular-manifold-containers

A library for infinite and cyclic data structures

rpc-framework

Type safe anonymous remote procedures in Haskell

smartai

omg our AI is so smart. Much smarter than your AI