mrLSD/agda-emacs

Stars
1
Language Agda
License
MIT License
Created about 7 years ago
Updated about 7 years ago

mrLSD/agda-emacs

mrLSD

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

Agda & Emacs integrations and samples code

agda-emacs

Agda & emacs intrgrations and samples

Build Agda + Emacs docker image

make build will build docker image

Run Agda and Emacs

make run will run docker image with working dir /agda. You can run Emacs with integrated Agda.

License MIT

`

riscv-fs

F# RISC-V Instruction Set formal specification

iron-cms

CMS based on Iron Framework for Rust lang

semantic-analyzer-rs

Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST

go-benchmark-app

Application for HTTP benchmarking via different rules and configs

nickel-cms

The research project on the development of CMS based on Nickel framework

amq

Message queue distributed framework based on Actix

iLang

iLang - a functional programming language and compiler

riscv-cpu

RISC-V five stage pipline CPU

fpga

Research & Development FPGA projects for different boards

echo-cms

CMS based on Echo golang framework

reqrep-events

Golang sample app for REQ/REP message queue events based on go-mangos

rcp

Fast copy files based on Rust lang

rocket-rs

Rust Rocket app

useful-rust

Rust useful tools & tutorials based on https://doc.rust-lang.org/book/ Chapters and Rust By Examples

llvm-api-swift

Swift LLVM API is a library and utils set fully compatible with LLVM-C API. The library can be used to create compilers backend based on LLVM

llvm-sample

DAG-chain

DAG chain platform

llvm-ir-tutor

LLVM IR Tutorial

riscv-gcc-source-tests

avr-timers

AVR timers solutions

reqrep-rs

simple-employees-task

hsb

gpg-test

auth-kit

Golang Authentication Kit

status-check

Status Check system based on Yii Framework

mrLSD

Let's change the world... My favorite languages: Rust, F#, Go, Haskell

tokenomics

nodemcu-v3

NodeMCU v3 devboard projects

go-tutorial

toy-codegen

Toy Codegen as example for `semantic-analyzer-rs` library.

mips-one-stage-cpu

MIPS 32 one stage CPU with limited ISA

HaskellTutorials

swift-async-toy

Toy async queue implemented on Swift

hashmap-copy

Rustlang concurent copy and change hashmap

dandelion

Semantic parser

arduino

Arduino projects based on Atmel chips

julia-dockerhub

DockerHub files for https://hub.docker.com/r/mrlsd/julia/

exonum-blockchain

Exomun framework Blockchaind samples

yogaGo

Yoga CMS based on Golang

simple-http-files

linux-util

Most useful utils for Linux

pyredmine

Python redmine console grid renderer for specific user and sorted by priority

cabal-dependency-resolver

Haskell Cabal packages dependency resolver

idris-docker

Idris language docker image builder

yasvm

Yet another simple Virtual Machine

rust-patterns

Rust design putterns templates

useful-haskell

Useful Haskell and algorithms

git-fetch-history

Filter git commits and change their data

book-formatter

Format text book to html formatted with page separation