zitterbewegung/Belmod zitterbewegung/Belmod

  • This repository has been archived on 17/Oct/2020
  • Stars
    star
    3
  • Rank 3,943,675 (Top 78 %)
  • Language
    Racket
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zitterbewegung/Belmod
github

zitterbewegung

Reviews

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

Repository Details

A smart contract system that generates smart contracts using the Rosette Language and Z3

More Repositories

1

securday

A natural language chatbot accessible using SMS augmented with tools using langchain.
Python
13
star
2

django-blockchained

Starter project to use django with web3 to interact with the ethereum network.
Python
4
star
3

bottlepy-user-auth

Basic python module to manage user's authentication with bottle
Python
2
star
4

twitch-arduino-bot

This is a Arduino bot that interacts with twitch. You can turn on a light and turn off a light on an Arduino Esplora.
JavaScript
2
star
5

cs398

Project for cs 398
Java
2
star
6

uuid-v4

uuid-v4 lets you make v4 uuid's quickly.
JavaScript
2
star
7

cs424project4group6

Project 4 Radio Ga Ga (Last fm visualization)
Ruby
1
star
8

mynotebooks

Collection of juypter notebooks I have.
Jupyter Notebook
1
star
9

Redtxt

Allows you to encrypt texts on your phone. Released under the gnu gpl.
Java
1
star
10

awesome-computational-topology

Resources and Software for Computational Topology
1
star
11

cs424

Homework for cs 424
Java
1
star
12

Something-is-broke

A mobile tagging system and web portal to figure out broken things around chicago
Python
1
star
13

lambda-magma-experiments

A Simply Typed Lambda Calculus with a Distributive Groupoid. Independent Research Project
Mathematica
1
star
14

mms2text

An twilio chatbot that when given a picture it outputs a guess of the image contents (a concept) using Clarfai.
Python
1
star