GithubHelp home page GithubHelp logo

Cogito Ergo Sum's Projects

minikanren_org-website icon minikanren_org-website

Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!

minimock icon minimock

Powerful mock generation tool for Go programming language

minimp3 icon minimp3

Decode mp3 base on https://github.com/lieff/minimp3

minio icon minio

High Performance, Kubernetes Native Object Storage

miniserve icon miniserve

🌟 For when you really just want to serve some files over HTTP right now!

minject icon minject

A Haxe port of the ActionScript 3 SwiftSuspenders IOC library with efficient macro enhanced type reflection. Supports AVM1, AVM2, JavaScript, Neko and C++.

minquery icon minquery

MongoDB / mgo query that supports efficient pagination (cursors to continue listing documents where we left off).

minushalf icon minushalf

minushalf is a command line interface developed by the group of semiconductor materials and nanotechnology (GMSN) that aims to automate the DFT -1/2 method.

mio icon mio

Metal IO library for Rust

mioco icon mioco

[no longer maintained] Scalable, coroutine-based, fibers/green-threads for Rust. (aka MIO COroutines).

mipverify.jl icon mipverify.jl

Evaluating Robustness of Neural Networks with Mixed Integer Programming

mira icon mira

Mutation Identification for RNA Alterations

mirai icon mirai

Rust mid-level IR Abstract Interpreter

miserables icon miserables

The encounters between the characters of Les Misérables as a graph

missionary icon missionary

A functional effect and streaming system for Clojure/Script

mistral icon mistral

Mistral: A strong, northwesterly wind: Framework for transparent and accessible large-scale language model training, built with Hugging Face 🤗 Transformers.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.